HCoop / jackhill / guix / guix.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
gnu: Add symmetrica.
[jackhill/guix/guix.git] / gnu / packages / coq.scm
2019-06-08 Marius BakkeMerge branch 'master' into staging blob | commitdiff | raw
2019-06-07 Tobias Geerinckx... gnu: coq: Update to 8.9.1. blob | commitdiff | raw
2019-06-03 Marius BakkeMerge branch 'master' into staging blob | commitdiff | raw | diff to current
2019-05-26 Dan Frumingnu: coq-equations: Update to 1.2. blob | commitdiff | raw | diff to current
2019-05-24 Marius BakkeMerge branch 'master' into staging blob | commitdiff | raw | diff to current
2019-05-24 Dan Frumingnu: Add coq-stdpp. blob | commitdiff | raw | diff to current
2019-05-04 Julien Lepillergnu: coq-bignums: Update to 8.9.0. blob | commitdiff | raw | diff to current
2019-05-04 Julien Lepillergnu: coq-mathcomp: Update to 1.8.0. blob | commitdiff | raw | diff to current
2019-05-04 Julien Lepillergnu: coq-gappa: Update to 1.3.4. blob | commitdiff | raw | diff to current
2019-05-04 Julien Lepillergnu: coq: Update to 8.9.0. blob | commitdiff | raw | diff to current
2019-03-21 Marius BakkeMerge branch 'master' into staging blob | commitdiff | raw | diff to current
2019-03-19 Dan Frumingnu: coq-flocq: remove unnecessary return values blob | commitdiff | raw | diff to current
2019-03-04 Marius BakkeMerge branch 'master' into staging blob | commitdiff | raw | diff to current
2019-03-04 Dan Frumingnu: coq-coquelicot: Update to 3.0.2. blob | commitdiff | raw | diff to current
2019-03-01 Dan Frumingnu: coq-flocq: Update to 3.1.0. blob | commitdiff | raw | diff to current
2019-02-13 Marius BakkeMerge branch 'master' into staging blob | commitdiff | raw | diff to current
2019-02-13 Dan Frumingnu: Add coq-equations. blob | commitdiff | raw | diff to current
2019-02-13 Tobias Geerinckx... gnu: coq-mathcomp: Don't use unstable tarball. blob | commitdiff | raw | diff to current
2019-02-13 Tobias Geerinckx... gnu: coq: Don't use unstable tarball. blob | commitdiff | raw | diff to current
2019-02-09 Ludovic CourtèsMerge branch 'staging' blob | commitdiff | raw | diff to current
2019-02-07 Dan Frumingnu: Add coq-autosubst blob | commitdiff | raw | diff to current
2019-01-25 Ricardo WurmusMerge branch 'master' into staging blob | commitdiff | raw | diff to current
2019-01-25 Ricardo Wurmusgnu: coq-interval: Use INVOKE. blob | commitdiff | raw | diff to current
2019-01-25 Ricardo Wurmusgnu: coq-coquelicot: Use INVOKE. blob | commitdiff | raw | diff to current
2019-01-25 Ricardo Wurmusgnu: coq-mathcomp: Use INVOKE. blob | commitdiff | raw | diff to current
2019-01-25 Ricardo Wurmusgnu: coq-gappa: Use INVOKE. blob | commitdiff | raw | diff to current
2019-01-25 Ricardo Wurmusgnu: proof-general: Use INVOKE. blob | commitdiff | raw | diff to current
2019-01-09 Efraim FlashnerMerge remote-tracking branch 'origin/master' into staging blob | commitdiff | raw | diff to current
2019-01-07 Julien Lepillergnu: Move coq packages from ocaml to coq. blob | commitdiff | raw | diff to current
jackhill's copy of GNU Guix: https://guix.gnu.org/