Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 76940c5e4cf73bd822e1879e8ac66b9f891813e4
https://github.com/NixOS/nixpkgs/commit/76940c5e4cf73bd822e1879e8ac66b9f891813e4
Author: Vincent Laporte <[email protected]>
Date: 2015-12-10 (Thu, 10 Dec 2015)
Changed paths:
A pkgs/development/ocaml-modules/why3/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
ocaml-why3: init at 0.86.2
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
