Vincent Laporte
|
2bc3965bb7
|
coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3
|
2015-11-21 04:18:14 +01:00 |
|
Vincent Laporte
|
6a238d4b3e
|
coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2
|
2015-09-27 10:24:25 +02:00 |
|
John Wiegley
|
f78f2a90d6
|
coqPackages.ssreflect, more: build ssrcoq binary, add maintainer
|
2014-10-13 16:11:33 -05:00 |
|
John Wiegley
|
7821d15299
|
coqPackages.domains: new expression
|
2014-10-11 22:01:46 -05:00 |
|
John Wiegley
|
904bee0c46
|
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
|
2014-10-11 17:24:59 -05:00 |
|