Vincent Laporte 587f127e93 coq-contribs: fix various packages

2015-03-01 17:53:51 +01:00

..

all.nix

coq-contribs: fix various packages

2015-03-01 17:53:51 +01:00

default.nix

coq-contribs: fix various packages

2015-03-01 17:53:51 +01:00

mk-contrib.nix

coqPackages: add contribs (close #5242)

2015-01-25 07:36:10 +01:00