/etc/

36 +0200'>2024-06-16gnu: coq-stdpp: Update to 1.10.0....Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-mathcomp: Update to 1.19.0....Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-interval: Update to 4.10.0....Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-gappa: Update to 1.5.5....Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-coquelicot: Update to 3.4.1....Jean-Pierre De Jesus DIAZ 2024-05-15gnu: coq-flocq: Update to 4.1.4....Jean-Pierre De Jesus DIAZ 2024-02-08gnu: 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