Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 5712ac6a721879f481dc0d2955cc3d99fca38320
https://github.com/NixOS/nixpkgs/commit/5712ac6a721879f481dc0d2955cc3d99fca38320
Author: Vincent Laporte <vincent.lapo...@gmail.com>
Date: 2017-02-11 (Sat, 11 Feb 2017)
Changed paths:
M pkgs/development/coq-modules/mathcomp/default.nix
M pkgs/development/coq-modules/mathcomp/generic.nix
M pkgs/development/coq-modules/ssreflect/default.nix
Log Message:
-----------
coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1
Commit: dedba2a32d39bebe94ed5d3268616eabd53ed26b
https://github.com/NixOS/nixpkgs/commit/dedba2a32d39bebe94ed5d3268616eabd53ed26b
Author: Vincent Laporte <vincent.lapo...@gmail.com>
Date: 2017-02-11 (Sat, 11 Feb 2017)
Changed paths:
M pkgs/development/coq-modules/coquelicot/default.nix
Log Message:
-----------
coqPackages.coquelicot: 2.1.1 -> 2.1.2
keeping old 2.1.1 version for Coq-8.4,
as newer versions of the library do not support older Coq versions
Commit: 8bfce240457124eef57edab73faaea7c059ad722
https://github.com/NixOS/nixpkgs/commit/8bfce240457124eef57edab73faaea7c059ad722
Author: Vincent Laporte <vincent.lapo...@gmail.com>
Date: 2017-02-11 (Sat, 11 Feb 2017)
Changed paths:
M pkgs/development/coq-modules/interval/default.nix
Log Message:
-----------
coqPackages.interval: 2.2.1 -> 3.1.1
Compare: https://github.com/NixOS/nixpkgs/compare/44641997799d...8bfce2404571_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
