Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: da68cc24f087176c576cb7ff0e05faeb4ea7672f
https://github.com/NixOS/nixpkgs/commit/da68cc24f087176c576cb7ff0e05faeb4ea7672f
Author: Vincent Laporte <[email protected]>
Date: 2016-11-02 (Wed, 02 Nov 2016)
Changed paths:
M pkgs/applications/science/logic/coq/8.5.nix
Log Message:
-----------
coq: 8.5pl2 -> 8.5pl3
Commit: b840da02cd91a67010826a9f375a02d71eaa7254
https://github.com/NixOS/nixpkgs/commit/b840da02cd91a67010826a9f375a02d71eaa7254
Author: Vincent Laporte <[email protected]>
Date: 2016-11-02 (Wed, 02 Nov 2016)
Changed paths:
M pkgs/applications/science/logic/coq/8.5.nix
Log Message:
-----------
coq: build and install the votour utility
Commit: 7c53518663658db36218fa8f5566442d3f71da99
https://github.com/NixOS/nixpkgs/commit/7c53518663658db36218fa8f5566442d3f71da99
Author: Vincent Laporte <[email protected]>
Date: 2016-11-02 (Wed, 02 Nov 2016)
Changed paths:
M pkgs/development/compilers/compcert/default.nix
Log Message:
-----------
compcert: patch to build with Coq-8.5pl3
Commit: 5f49eeb935112e69f8992083ca173728a90cbf8c
https://github.com/NixOS/nixpkgs/commit/5f49eeb935112e69f8992083ca173728a90cbf8c
Author: Vincent Laporte <[email protected]>
Date: 2016-11-02 (Wed, 02 Nov 2016)
Changed paths:
M pkgs/top-level/all-packages.nix
M pkgs/top-level/ocaml-packages.nix
Log Message:
-----------
coq: move out of ocamlPackages
Commit: b028b5f4ef03d6c3dae4cdda898c1996348c4e18
https://github.com/NixOS/nixpkgs/commit/b028b5f4ef03d6c3dae4cdda898c1996348c4e18
Author: Vincent Laporte <[email protected]>
Date: 2016-11-02 (Wed, 02 Nov 2016)
Changed paths:
M pkgs/applications/science/logic/coq/8.5.nix
Log Message:
-----------
coq-8.5: ease the selection of an older (patch level) version
Commit: 4008300243c3b8e3a24202feb0057b70f1139ac6
https://github.com/NixOS/nixpkgs/commit/4008300243c3b8e3a24202feb0057b70f1139ac6
Author: John Wiegley <[email protected]>
Date: 2016-11-03 (Thu, 03 Nov 2016)
Changed paths:
M pkgs/applications/science/logic/coq/8.5.nix
M pkgs/development/compilers/compcert/default.nix
M pkgs/top-level/all-packages.nix
M pkgs/top-level/ocaml-packages.nix
Log Message:
-----------
Merge pull request #20025 from vbgl/coq-8.5pl3
Coq: 8.5pl2 -> 8.5pl3
Compare: https://github.com/NixOS/nixpkgs/compare/b137b8d1aa14...4008300243c3_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
