Pierre Roux 83d4e9f030 rocqPackages.mathcomp: 2.5.0 -> 2.6.0 ...

(cherry picked from commit 0de6221506)

2026-07-21 16:07:51 +02:00

..

bignums

rocqPackages.stdlib: 9.1.0 -> 9.2.0

2026-02-11 07:59:16 +01:00

hierarchy-builder

rocqPackages.hierarchy-builder: 1.10.2 -> 1.10.3

2026-06-25 08:26:24 +00:00

iris

rocqPackages.iris: init at 4.5.0

2026-03-10 16:42:16 +01:00

mathcomp

rocqPackages.mathcomp: 2.5.0 -> 2.6.0

2026-07-21 16:07:51 +02:00

mathcomp-analysis

rocqPackages.mathcomp: 2.5.0 -> 2.6.0

2026-07-21 16:07:51 +02:00

mathcomp-bigenough

rocqPackages.mathcomp: 2.5.0 -> 2.6.0

2026-07-21 16:07:51 +02:00

mathcomp-finmap

rocqPackages.mathcomp: 2.5.0 -> 2.6.0

2026-07-21 16:07:51 +02:00

mathcomp-real-closed

rocqPackages.mathcomp: 2.5.0 -> 2.6.0

2026-07-21 16:07:51 +02:00

micromega-plugin

rocqPackages.micromega-plugin: fix hash

2026-06-16 08:37:46 +00:00

parseque

rocqPackages.parseque: release v0.3.1

2026-06-17 11:08:10 +00:00

relation-algebra

rocqPackages.relation-algebra: enable for Rocq 9.1

2026-04-03 14:28:23 +02:00

rocq-elpi

ocamlPackages.elpi: 3.6.1 -> 3.6.2

2026-03-23 08:26:06 +01:00

stdlib

rocqPackages.stdlib: 9.1.0 -> 9.2.0

2026-02-11 07:59:16 +01:00

stdpp

rocqPackages.stdpp: init at 1.13.0

2026-03-09 13:49:40 +01:00

vsrocq-language-server

coqPackages.vsrocq-language-server: init at 2.3.4

2026-01-14 11:15:59 +01:00