My personal project and infrastructure archive

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Ulrik Strid 7e20e9039e coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true ... Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>		2 years ago
..
Cheerios	…
CoLoR	…
HoTT	…
ITree	coqPackages.ITree: enable for Coq 8.15	2 years ago
InfSeqExt	…
LibHyps	coqPackages.LibHyps: init at 2.0.4.1	2 years ago
QuickChick	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
StructTact	…
VST	coqPackages.VST: 2.8 → 2.9	2 years ago
Velisarios	…
Verdi	…
aac-tactics	…
addition-chains	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
autosubst	…
bignums	…
category-theory	…
ceres	…
compcert	coqPackages.compcert: enable for Coq 8.15	2 years ago
contribs	…
coq-bits	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
coq-elpi	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
coq-ext-lib	…
coq-haskell	…
coq-record-update	…
coqeal	Adapt to Coq 8.15 and MathCOmp 1.14	2 years ago
coqhammer	coqPackages_8_15.coqhammer: enable at 1.3.2	2 years ago
coqprime	…
coqtail-math	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
coquelicot	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
corn	…
deriving	…
dpdgraph	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
equations	…
extructures	Adapt to Coq 8.15 and MathCOmp 1.14	2 years ago
fiat	…
flocq	Adapt to Coq 8.15 and MathCOmp 1.14	2 years ago
fourcolor	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
gaia	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
gaia-hydras	coqPackages_8_14.gaia-hydras: 0.5 -> 0.6	2 years ago
gappalib	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
goedel	…
graph-theory	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
heq	…
hierarchy-builder	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
hydra-battles	coqPackages.hydra-battles: fix version checking logic	2 years ago
interval	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
iris	coqPackages.iris: 3.5.0 → 3.6.0	2 years ago
itauto	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
ltac2	…
math-classes	…
mathcomp	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
mathcomp-abel	…
mathcomp-analysis	Adapt to Coq 8.15 and MathCOmp 1.14	2 years ago
mathcomp-bigenough	…
mathcomp-finmap	…
mathcomp-real-closed	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
mathcomp-tarjan	…
mathcomp-word	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
mathcomp-zify	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
metalib	…
multinomials	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
odd-order	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
paco	…
paramcoq	…
parsec	…
pocklington	…
reglang	…
relation-algebra	…
semantics	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
serapi	…
simple-io	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true	2 years ago
smpl	…
stdpp	coqPackages.iris: 3.5.0 → 3.6.0	2 years ago
tlc	…
topology	…
zorns-lemma	…