Enrico Tassi 38cef0ba3b coq-elpi: 1.6.2 -> 1.6.3

2021-04-18 06:09:28 +02:00

..

autosubst

…

bignums

…

category-theory

…

Cheerios

…

CoLoR

…

contribs

…

coq-bits

…

coq-elpi

coq-elpi: 1.6.2 -> 1.6.3

2021-04-18 06:09:28 +02:00

coq-ext-lib

coqPackages.coq-ext-lib: add Coq 8.13

2021-04-14 13:45:56 +02:00

coq-haskell

…

coqeal

…

coqhammer

…

coqprime

…

coqtail-math

coqtail-math: init at 20201124

2021-04-09 10:05:32 +02:00

coquelicot

…

corn

…

dpdgraph

…

equations

coqPackages.equations: 1.2.3 → 1.2.4

2021-04-14 13:45:56 +02:00

fiat

…

flocq

…

fourcolor

coqPackages.fourcolor: init at 1.2.3

2021-03-26 10:55:48 +01:00

gappalib

…

heq

…

hierarchy-builder

…

HoTT

…

InfSeqExt

…

interval

…

iris

coqPackages.stdpp: 1.4.0 → 1.5.0

2021-04-12 13:58:30 +02:00

ITree

coqPackages.ITree: changed pname to InteractionTrees

2021-04-14 14:42:01 +02:00

ltac2

…

math-classes

…

mathcomp

coqPackages.mathcomp: etc (#115417)

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

mathcomp-abel

…

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

odd-order

coqPackages.odd-order: init at 1.12.0

2021-03-31 08:31:08 +02:00

paco

…

paramcoq

…

QuickChick

…

simple-io

coqPackages.simple-io: enable for Coq 8.13

2021-04-14 13:45:56 +02:00

stdpp

coqPackages.stdpp: 1.4.0 → 1.5.0

2021-04-12 13:58:30 +02:00

StructTact

…

tlc

…

Velisarios

…

Verdi

…

VST

…