aboutsummaryrefslogtreecommitdiff
path: root/tests/texlive.scm
diff options
context:
space:
mode:
Diffstat (limited to 'tests/texlive.scm')
0 files changed, 0 insertions, 0 deletions
ean-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