nixpkgs/pkgs/development/coq-modules/ at staging-python · tjh.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

4 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.mathcomp: disable for Coq ≥ 8.16

3 years ago

StructTact

coqPackages.StructTact: enable for Coq 8.16

3 years ago

VST

coqPackages.flocq: 3.4.3 → 4.1.0

3 years ago

Velisarios

coqPackages: refactor

5 years ago

Verdi

Merge pull request #166605 from siraben/remove-redundant-stdenv

3 years ago

aac-tactics

coqPackages.aac-tactics: 8.13.2, 8.14.1, 8.15.1

3 years ago

addition-chains

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

3 years ago

autosubst

coqPackages.mathcomp: disable for Coq ≥ 8.16

3 years ago

bignums

coq_8_16: init at 8.16+rc1

3 years ago

category-theory

coqPackages.category-theory: enable with Coq 8.15

3 years ago

ceres

coqPackages.ceres: init at 0.4.0

4 years ago

compcert

coqPackages.flocq: 3.4.3 → 4.1.0

3 years ago

contribs

coqPackages: refactor

5 years ago

coq-bits

coqPackages.mathcomp: disable for Coq ≥ 8.16

3 years ago

coq-elpi

coqPackages.coq-elpi 1.14.0 -> 1.15.1

3 years ago

coq-ext-lib

coqPackages.coq-ext-lib: enable for Coq 8.16

3 years ago

coq-haskell

coqPackages: refactor

5 years ago

coq-record-update

coqPackages.coq-record-update: enable for Coq 8.16

3 years ago

coqeal

coqPackages.coqeal: 1.1.0 → 1.1.1

3 years ago

coqhammer

coqPackages: etc

4 years ago

coqide

Split out CoqIDE by default when Coq >= 8.14.

3 years ago

coqprime

coqPackages.coqprime: enable for Coq 8.16

3 years ago

coqtail-math

coqPackages: etc

4 years ago

coquelicot

coqPackages.mathcomp: disable for Coq ≥ 8.16

3 years ago

corn

coqPackages.corn: mark as compatible with Coq 8.15

4 years ago

deriving

coqPackages.deriving: mark as compatible with Coq 8.15

4 years ago

dpdgraph

coqPackages_8_16.dpdgraph: init at 1.0+8.16

3 years ago

equations

coqPackages_8_16.equations: init at 1.3+8.16

3 years ago

extructures

coqPackages.mathcomp: disable for Coq ≥ 8.16

3 years ago

fiat

coqPackages: etc

4 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

Merge pull request #176321 from siraben/smtcoq-fix

3 years ago

gaia-hydras

coqPackages_8_14.gaia-hydras: 0.5 -> 0.6

3 years ago

gappalib

coqPackages: etc

4 years ago

goedel

coqPackages.goedel: enable with Coq 8.15

3 years ago

graph-theory

coqPackages.graph-theory: enable for Coq 8.15

3 years ago

heq

coqPackages: etc

4 years ago

hierarchy-builder

coqPackages.hierarchy-builder: enable for Coq 8.16

3 years ago

hydra-battles

coqPackages.hydra-battles: enable for Coq 8.16

3 years ago

interval

coqPackages.mathcomp: disable for Coq ≥ 8.16

3 years ago

iris

coqPackages.iris: enable for Coq 8.16

3 years ago

itauto

coqPackages: etc

4 years ago

ltac2

coqPackages: etc

4 years ago

math-classes

coqPackages.math-classes: enable for Coq 8.16

3 years ago

mathcomp

coqPackages.mathcomp: disable for Coq ≥ 8.16

3 years ago

mathcomp-abel

coqPackages.mathcomp-abel: 1.2.0 → 1.2.1

3 years ago

mathcomp-analysis

Adapt to Coq 8.15 and MathCOmp 1.14

4 years ago

mathcomp-bigenough

coqPackages.mathcomp-bigenough: 1.0.0 → 1.0.1

4 years ago

mathcomp-finmap

coqPackages.mathcomp-finmap: 1.5.1 → 1.5.2

3 years ago

mathcomp-real-closed

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

3 years ago

mathcomp-tarjan

coqPackages.mathcomp-tarjan: enable with Coq 8.15

3 years ago

mathcomp-word

Merge master into staging-next

3 years ago

mathcomp-zify

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

3 years ago

metacoq

first release of Metacoq

3 years ago

metalib

coqPackages.metalib: enable for Coq 8.16

3 years ago

multinomials

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

3 years ago

odd-order

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

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: mark as compatible with Coq 8.15

4 years ago

relation-algebra

coqPackages.relation-algebra: 1.7.6, 1.7.7

3 years ago

semantics

coqPackages.semantics: enable for Coq 8.16

3 years ago

serapi

Merge pull request #181910 from vbgl/coq-fourcolor-1.2.5

3 years ago

simple-io

coqPackages.simple-io: enable for Coq 8.16

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: enable for Coq 8.16

3 years ago

tlc

coqPackages.tlc: enable for Coq 8.16

3 years ago

topology

coqPackage.topology: 8.12.0 -> 9.0.0

4 years ago

trakt

coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16

3 years ago

zorns-lemma

coqPackages.zorns-lemma: fix build of versions pre-9.0

4 years ago