Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 9a1245280d4d4f5fb0263bca41063e5901afcc62
https://github.com/NixOS/nixpkgs/commit/9a1245280d4d4f5fb0263bca41063e5901afcc62
Author: Vincent Laporte <[email protected]>
Date: 2015-09-23 (Wed, 23 Sep 2015)
Changed paths:
A pkgs/applications/science/logic/hol_light/Makefile.patch
M pkgs/applications/science/logic/hol_light/default.nix
Log Message:
-----------
hol_light: add support for camlp5 > 6.12
Commit: 399a9da2ae1286c039f15fe6c9c502669dbd6809
https://github.com/NixOS/nixpkgs/commit/399a9da2ae1286c039f15fe6c9c502669dbd6809
Author: Vincent Laporte <[email protected]>
Date: 2015-09-23 (Wed, 23 Sep 2015)
Changed paths:
M pkgs/development/tools/ocaml/camlp5/default.nix
Log Message:
-----------
camlp5: 6.12 -> 6.14
Commit: b02c07641b1fc697a5811aa090f9156231b6f11f
https://github.com/NixOS/nixpkgs/commit/b02c07641b1fc697a5811aa090f9156231b6f11f
Author: vbgl <[email protected]>
Date: 2015-09-29 (Tue, 29 Sep 2015)
Changed paths:
A pkgs/applications/science/logic/hol_light/Makefile.patch
M pkgs/applications/science/logic/hol_light/default.nix
M pkgs/development/tools/ocaml/camlp5/default.nix
Log Message:
-----------
Merge pull request #10014 from vbgl/camlp5-6.13
camlp5: 6.12 → 6.14
Compare: https://github.com/NixOS/nixpkgs/compare/bfd8e56aa690...b02c07641b1f_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
