Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: f0d7e808b28282a9cd4b8eaffd02418dae8b1779
https://github.com/NixOS/nixpkgs/commit/f0d7e808b28282a9cd4b8eaffd02418dae8b1779
Author: Vincent Laporte <[email protected]>
Date: 2016-11-29 (Tue, 29 Nov 2016)
Changed paths:
M pkgs/development/tools/ocaml/camlp5/default.nix
Log Message:
-----------
camlp5: 6.16 -> 6.17
Commit: 431c5649930ec48260204cd3afca9c03e75f6ff7
https://github.com/NixOS/nixpkgs/commit/431c5649930ec48260204cd3afca9c03e75f6ff7
Author: Vincent Laporte <[email protected]>
Date: 2016-11-29 (Tue, 29 Nov 2016)
Changed paths:
M pkgs/applications/science/logic/hol_light/Makefile.patch
M pkgs/applications/science/logic/hol_light/default.nix
Log Message:
-----------
hol_light: fix build with Camlp5-6.17
Commit: 1b68772f2b007dcd38166adf95dca7158bf966d8
https://github.com/NixOS/nixpkgs/commit/1b68772f2b007dcd38166adf95dca7158bf966d8
Author: Frederik Rietdijk <[email protected]>
Date: 2016-11-30 (Wed, 30 Nov 2016)
Changed paths:
M 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 #20799 from vbgl/camlp5-6.17
camlp5: 6.16 -> 6.17
Compare: https://github.com/NixOS/nixpkgs/compare/1c0e51e3f83f...1b68772f2b00_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
