Théo Zimmermann d76cdd7b8b coqPackages.Verdi: preemptive fix for removal of configure in future versions

2022-12-24 17:19:51 +01:00

..

aac-tactics

…

addition-chains

…

autosubst

…

bignums

…

category-theory

…

ceres

…

Cheerios

coqPackages.Cheerios: preemptive fix for removal of configure in future versions

2022-12-24 17:19:04 +01:00

CoLoR

…

compcert

compcert: add support for Coq 8.16.1

2022-12-05 09:22:59 +01:00

contribs

…

coq-bits

…

coq-elpi

…

coq-ext-lib

…

coq-haskell

…

coq-record-update

…

coqeal

…

coqhammer

…

coqide

…

coqprime

…

coqtail-math

…

coquelicot

…

corn

…

deriving

…

dpdgraph

…

equations

…

extructures

…

fiat

…

flocq

…

fourcolor

…

gaia

…

gaia-hydras

…

gappalib

…

goedel

…

graph-theory

…

heq

…

hierarchy-builder

…

HoTT

Update HoTT and drop archaic 8.6 specific install

2022-11-29 12:57:11 +01:00

hydra-battles

…

InfSeqExt

coqPackages.InfSeqExt: preemptive fix for removal of configure in future versions

2022-12-24 17:19:25 +01:00

interval

…

iris

…

itauto

…

ITree

…

LibHyps

…

ltac2

…

math-classes

…

mathcomp

…

mathcomp-abel

…

mathcomp-algebra-tactics

…

mathcomp-analysis

…

mathcomp-bigenough

…

mathcomp-finmap

…

mathcomp-real-closed

…

mathcomp-tarjan

…

mathcomp-word

…

mathcomp-zify

…

metacoq

…

metalib

…

multinomials

…

odd-order

…

paco

…

paramcoq

…

parsec

…

pocklington

…

QuickChick

…

reglang

…

relation-algebra

…

semantics

…

serapi

…

simple-io

…

smpl

…

smtcoq

…

stdpp

…

StructTact

coqPackages.StructTact: preemptive fix for removal of configure in future versions

2022-12-24 17:19:46 +01:00

tlc

…

topology

…

trakt

…

Velisarios

…

Verdi

coqPackages.Verdi: preemptive fix for removal of configure in future versions

2022-12-24 17:19:51 +01:00

VST

coqPackages.VST: 2.10 → 2.11.1

2022-12-22 07:34:58 +01:00

zorns-lemma

…