Cyril Cohen 0f98db39af coqPackages.coq-elpi: 1.9.3 -> 1.9.4

2021-03-17 21:54:53 +01:00

..

autosubst

…

bignums

…

category-theory

…

Cheerios

…

CoLoR

…

contribs

…

coq-bits

…

coq-elpi

coqPackages.coq-elpi: 1.9.3 -> 1.9.4

2021-03-17 21:54:53 +01:00

coq-ext-lib

…

coq-haskell

…

coqeal

…

coqhammer

…

coqprime

…

coquelicot

…

corn

coqPackages.corn: 8.8.1 → 8.12.0

2021-01-28 10:28:51 +01:00

dpdgraph

coqPackages.dpdgraph: init at 0.6.9 for Coq 8.13

2021-02-14 14:36:18 +01:00

equations

…

fiat

…

flocq

…

gappalib

…

heq

…

hierarchy-builder

elpi: 1.12.0 -> 1.13.0

2021-02-18 22:26:10 +01:00

HoTT

…

InfSeqExt

…

interval

…

iris

…

ltac2

…

math-classes

coqPackages.math-classes: 8.11.0 -> 8.12.0

2021-01-21 16:39:59 +01:00

mathcomp

coqPackages.mathcomp: etc (#115417)

2021-03-15 12:59:05 +01:00

mathcomp-abel

coqPackages.mathcomp-abel: init at 1.0.0

2021-01-14 19:51:30 +01:00

mathcomp-analysis

coqPackages.mathcomp-analysis: 0.3.1 -> 0.3.6

2021-03-12 10:40:18 +01:00

mathcomp-bigenough

…

mathcomp-finmap

…

mathcomp-real-closed

…

metalib

…

multinomials

coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)

2021-03-10 16:25:32 +01:00

paco

…

paramcoq

…

QuickChick

…

simple-io

…

stdpp

…

StructTact

…

tlc

…

Velisarios

…

Verdi

…

VST

…