aboutsummaryrefslogtreecommitdiff
path: root/gnu/services/ci.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/services/ci.scm')
0 files changed, 0 insertions, 0 deletions
mmit/gnu/packages/coq.scm?id=4b941ab3d5dea321e1fd96dd21faf346258e2d80'>gnu: coq: Update to 8.17.1....pukkamustard 2024-02-08gnu: Update coq-interval to 4.8.0....pukkamustard 2024-02-08gnu: Update coq-stdpp to 1.8.0....pukkamustard 2024-02-08gnu: Update coq-autosubst to 1.8....pukkamustard 2024-02-08gnu: Update coq-mathcomp to 1.17.0....pukkamustard 2024-02-08gnu: Update coq-coquelicot to 3.4.0....pukkamustard 2024-02-08gnu: Update coq-gappa to 1.5.3....pukkamustard 2024-02-08gnu: Update coq-flocq to 4.1.1....pukkamustard 2023-11-23gnu: Add coq-for-coqtail....Jean-Pierre De Jesus DIAZ