Cyril Cohen d80148928b coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0		2019-07-02 12:01:36 +00:00
..
default.nix	coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0	2019-07-02 12:01:36 +00:00
extra.nix	coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0	2019-07-02 12:01:36 +00:00