updating to rocq-9.2/mathcomp-2.6.0 - #62

Merged

aleksnanevski merged 17 commits into

Jul 30, 2026

Commits on Jul 30, 2026

Updating to rocq9.2/mathcomp2.6
aleksnanevski
committed
f01f3ac
Updating to rock-9.2/mathcomp-2.6
aleksnanevski
committed
bdce3a0
Upgrading to rocq-9.2/mathcomp-2.6
aleksnanevski
committed
065cc1b
Upgrading to rocq-9.2/mathcomp-2.6
aleksnanevski
committed
d2a64e8
blah
aleksnanevski
committed
316f61f
upgrading to rocq-9.2/mathcomp-2.6
aleksnanevski
committed
9a371f2
another try
aleksnanevski
committed
0083358
another try
aleksnanevski
committed
6190495
added forgotten file
aleksnanevski
committed
080675f
fix the templating issue, add a patching script
clayrat
committed
440585a
another try
aleksnanevski
committed
fd9bcd6
Merge branch 'v2.3.0' of github.com:imdea-software/fcsl-pcm into v2.3.0
aleksnanevski
committed
80c6b64
fix makefile invocation
clayrat
committed
45b80ad
Merge branch 'v2.3.0' of https://github.com/imdea-software/fcsl-pcm into v2.3.0
clayrat
committed
85f743e
another try
aleksnanevski
committed
dddb4c7
Merge branch 'v2.3.0' of github.com:imdea-software/fcsl-pcm into v2.3.0
aleksnanevski
committed
e375d7d
minor
aleksnanevski
committed
e40a7e6