Pierre Roux 54f8f8a829 rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1

2026-07-24 09:41:27 +02:00

..

bignums

…

hierarchy-builder

rocqPackages.rocq-elpi: 3.4.0 -> 3.5.0

2026-07-24 08:37:01 +02:00

iris

…

mathcomp

rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1

2026-07-24 09:41:27 +02:00

mathcomp-analysis

rocqPackages.mathcomp: 2.5.0 -> 2.6.0

2026-07-20 11:08:29 +02:00

mathcomp-bigenough

rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1

2026-07-24 09:41:27 +02:00

mathcomp-finmap

rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1

2026-07-24 09:41:27 +02:00

mathcomp-real-closed

rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1

2026-07-24 09:41:27 +02:00

micromega-plugin

rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1

2026-07-24 09:41:27 +02:00

parseque

rocqPackages.parseque: release v0.3.1

2026-06-17 10:42:09 +02:00

relation-algebra

…

rocq-elpi

rocqPackages.rocq-elpi: 3.4.0 -> 3.5.0

2026-07-24 08:37:01 +02:00

rocqnavi

rocqPackages.rocq-elpi: 3.4.0 -> 3.5.0

2026-07-24 08:37:01 +02:00

stdlib

…

stdpp

…

vsrocq-language-server

rocqPackages.vsrocq-language-server: 2.3.4 -> 2.4.3

2026-05-30 14:52:42 +03:00