Files
nixpkgs/pkgs/development/coq-modules
Matthew Justin Bauer 738f9a9673 Merge pull request #39469 from vbgl/coq-contribs-containers-8.8
coqPackages.contribs.containers: make available for Coq 8.8
2018-05-01 10:21:58 -05:00
..
2018-03-21 18:06:28 +00:00
2018-03-21 18:06:28 +00:00
2018-03-21 18:06:28 +00:00
2018-03-21 18:06:28 +00:00
2018-03-21 18:06:28 +00:00
2018-03-21 18:06:28 +00:00
2018-03-21 18:06:28 +00:00