Benjamin Hipple ef2995988a Merge pull request #83343 from vbgl/coq-coqhammer-1.1.1 ...

coqPackages.coqhammer: 1.1 → 1.1.1

2020-03-28 23:20:37 -04:00

..

autosubst

…

bignums

…

category-theory

…

Cheerios

…

CoLoR

…

contribs

…

coq-bits

…

coq-elpi

elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3

2020-03-03 14:57:42 +01:00

coq-ext-lib

…

coq-extensible-records

…

coq-haskell

…

coqhammer

coqPackages.coqhammer: 1.1 → 1.1.1

2020-03-25 08:44:34 +01:00

coqprime

…

coquelicot

…

corn

…

dpdgraph

coqPackages.dpdgraph: enable for Coq ≥ 8.9

2020-03-10 17:46:15 +01:00

equations

…

fiat

…

flocq

…

gappalib

…

heq

…

hierarchy-builder

coqPackages.hierarchy-builder: init at 0.9.0

2020-03-11 17:15:52 +01:00

HoTT

…

InfSeqExt

…

interval

…

iris

…

ltac2

…

math-classes

…

mathcomp

…

metalib

…

paco

coqPackages.paco: enable for Coq 8.10 and 8.11

2020-03-04 07:12:02 +01:00

paramcoq

coqPackages.paramcoq: 1.1.1 → 1.1.2

2020-03-27 18:15:11 +01:00

QuickChick

coqPackages_8_10.QuickChick: init at 1.2.0

2020-03-06 07:28:26 +01:00

simple-io

coqPackages.simple-io: enable for Coq 8.10

2020-03-06 07:28:26 +01:00

ssreflect

…

stdpp

…

StructTact

…

tlc

…

Velisarios

…

Verdi

…