2019-06-19 | Dan Frumin | gnu: Add crispy-doom. |
commit | commitdiff | tree |
2019-05-26 | Dan Frumin | gnu: coq-equations: Update to 1.2. |
commit | commitdiff | tree |
2019-05-24 | Dan Frumin | gnu: Add coq-stdpp. |
commit | commitdiff | tree |
2019-03-19 | Dan Frumin | gnu: coq-flocq: remove unnecessary return values |
commit | commitdiff | tree |
2019-03-04 | Dan Frumin | gnu: coq-coquelicot: Update to 3.0.2. |
commit | commitdiff | tree |
2019-03-01 | Dan Frumin | gnu: coq-flocq: Update to 3.1.0. |
commit | commitdiff | tree |
2019-02-13 | Dan Frumin | gnu: Add coq-equations. |
commit | commitdiff | tree |
2019-02-07 | Dan Frumin | gnu: Add coq-autosubst |
commit | commitdiff | tree |