.. |
autosubst
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
bignums
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
category-theory
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
Cheerios
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
CoLoR
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
contribs
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
coq-bits
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
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
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
coqeal
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
coqhammer
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
coqprime
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
coqtail-math
|
coqtail-math: init at 20201124
|
2021-04-09 10:05:32 +02:00 |
coquelicot
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
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
|
coqPackages.equations: 1.2.3 → 1.2.4
|
2021-04-14 13:45:56 +02:00 |
fiat
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
flocq
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
fourcolor
|
coqPackages.fourcolor: init at 1.2.3
|
2021-03-26 10:55:48 +01:00 |
gappalib
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
heq
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
hierarchy-builder
|
elpi: 1.12.0 -> 1.13.0
|
2021-02-18 22:26:10 +01:00 |
HoTT
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
InfSeqExt
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
interval
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
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
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
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
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
mathcomp-finmap
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
mathcomp-real-closed
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
metalib
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
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
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
paramcoq
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
QuickChick
|
coqPackages_8_13.QuickChick: init at 1.5.0
|
2021-04-24 07:43:54 +02:00 |
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
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
tlc
|
coqPackages.tlc: 20200328 → 20210316
|
2021-04-25 11:51:38 +02:00 |
Velisarios
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
Verdi
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
VST
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |