nixpkgs/pkgs/development/coq-modules/ at 23.05-pre · pyrox.dev/nixpkgs

Cheerios

Do not rely on coq-version when coq.version works just fine.

3 years ago

CoLoR

Do not rely on coq-version when coq.version works just fine.

3 years ago

HoTT

coqPackages: etc

5 years ago

ITree

Do not rely on coq-version when coq.version works just fine.

3 years ago

InfSeqExt

Do not rely on coq-version when coq.version works just fine.

3 years ago

LibHyps

coqPackages.LibHyps: enable for Coq 8.16

3 years ago

QuickChick

coqPackages.QuickChick: 1.6.2 → 1.6.4

3 years ago

StructTact

coqPackages.StructTact: enable for Coq 8.16

3 years ago

VST

coqPackages.VST: enable for Coq 8.16

3 years ago

Velisarios

coqPackages: refactor

5 years ago

Verdi

coqPackages.Verdi: enable for Coq 8.16

3 years ago

aac-tactics

coqPackages.aac-tactics: init at 8.16.0

3 years ago

addition-chains

coqPackages.mkCoqDerivation: upgrade to Dune 3

3 years ago

autosubst

coqPackages.autosubst: enable for Coq 8.16

3 years ago

bignums

coq_8_16: init at 8.16+rc1

3 years ago

category-theory

coqPackages.category-theory: 20211213 → 1.0.0

3 years ago

ceres

coqPackages.ceres: init at 0.4.0

4 years ago

compcert

coqPackages.compcert: enable for Coq 8.16

3 years ago

contribs

coqPackages: refactor

5 years ago

coq-bits

coqPackages.coq-bits: enable for Coq 8.16

3 years ago

coq-elpi

Merge branch 'master' into staging

3 years ago

coq-ext-lib

coqPackages.coq-ext-lib: 0.11.6 → 0.11.7

3 years ago

coq-haskell

coqPackages: refactor

5 years ago

coq-record-update

treewide: *Flags convert to list from str

3 years ago

coqeal

coqPackages.coqeal: enable for Coq 8.16

3 years ago

coqhammer

coqPackages: etc

5 years ago

coqide

coqPackages.mkCoqDerivation: upgrade to Dune 3

3 years ago

coqprime

coqPackages.coqprime: enable for Coq 8.16

3 years ago

coqtail-math

coqPackages: etc

5 years ago

coquelicot

coqPackages.coquelicot: enable for Coq 8.16

3 years ago

corn

coqPackages.corn: 8.13.0 → 8.16.0

3 years ago

deriving

coqPackages.deriving: enable for Coq 8.16

3 years ago

dpdgraph

coqPackages_8_16.dpdgraph: init at 1.0+8.16

3 years ago

equations

Support dev version of equations

3 years ago

extructures

coqPackages.extructures: enable for Coq 8.16

3 years ago

fiat

coqPackages: etc

5 years ago

flocq

coqPackages.flocq: 3.4.3 → 4.1.0

3 years ago

fourcolor

coqPackages.fourcolor: 1.2.4 → 1.2.5

3 years ago

gaia

mathcomp: 1.14.0 -> 1.15.0

3 years ago

gaia-hydras

coqPackages.mkCoqDerivation: upgrade to Dune 3

3 years ago

gappalib

Merge pull request #183106 from kyoDralliam/metacoq-1.0-8.16

3 years ago

goedel

coqPackages.goedel: enable for Coq 8.16

3 years ago

graph-theory

coqPackages.graph-theory: enable for Coq 8.16

3 years ago

heq

coqPackages: etc

5 years ago

hierarchy-builder

coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0

3 years ago

hydra-battles

coqPackages.mkCoqDerivation: upgrade to Dune 3

3 years ago

interval

coqPackages.interval: 4.5.2 → 4.6.0

3 years ago

iris

coqPackages.stdpp: 1.7.0 → 1.8.0

3 years ago

itauto

coqPackages.itauto: init at 8.16.0

3 years ago

ltac2

coqPackages: etc

5 years ago

math-classes

coqPackages.math-classes: enable for Coq 8.16

3 years ago

mathcomp

mathcomp: 1.14.0 -> 1.15.0

3 years ago

mathcomp-abel

coqPackages.mathcomp-abel: 1.2.0 → 1.2.1

3 years ago

mathcomp-analysis

Adding mathcomp-analysis single

3 years ago

mathcomp-bigenough

mathcomp: 1.14.0 -> 1.15.0

3 years ago

mathcomp-finmap

mathcomp: 1.14.0 -> 1.15.0

3 years ago

mathcomp-real-closed

mathcomp: 1.14.0 -> 1.15.0

3 years ago

mathcomp-tarjan

coqPackages.mathcomp-tarjan: enable for Coq 8.16

3 years ago

mathcomp-word

Merge pull request #194539 from vbgl/coq-category-theory-1.0.0

3 years ago

mathcomp-zify

coqPackages.mathcomp-zify: enable for Coq 8.16

3 years ago

metacoq

Merge pull request #192437 from kyoDralliam/metacoq-fix-dev

3 years ago

metalib

coqPackages.metalib: enable for Coq 8.16

3 years ago

multinomials

coqPackages.mkCoqDerivation: upgrade to Dune 3

3 years ago

odd-order

mathcomp: 1.14.0 -> 1.15.0

3 years ago

paco

coqPackages.paco: enable for Coq 8.16

3 years ago

paramcoq

coqPackages_8_16.paramcoq: init at 1.1.3+coq8.16

3 years ago

parsec

coqPackages.parsec: enable for Coq 8.16

3 years ago

pocklington

coqPackages.pocklington: init at 8.12.0

4 years ago

reglang

coqPackages.reglang: enable for Coq 8.16

3 years ago

relation-algebra

Merge remote-tracking branch 'origin/staging-next' into staging

3 years ago

semantics

coqPackages.semantics: enable for Coq 8.16

3 years ago

serapi

coqPackages.mkCoqDerivation: upgrade to Dune 3

3 years ago

simple-io

coqPackages.simple-io: fix & add tests

3 years ago

smpl

coqPackages.smpl: init at 8.14 & 8.15

3 years ago

smtcoq

coqPackages_8_13.smtcoq: build cvc4 with gcc10

3 years ago

stdpp

coqPackages.stdpp: 1.7.0 → 1.8.0

3 years ago

tlc

coqPackages.tlc: enable for Coq 8.16

3 years ago

topology

coqPackages.mkCoqDerivation: upgrade to Dune 3

3 years ago

trakt

coqPackages.trakt: enable for Coq 8.16

3 years ago

zorns-lemma

coqPackages.mkCoqDerivation: upgrade to Dune 3

3 years ago