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

Cheerios

coqPackages: refactor

5 years ago

CoLoR

coqPackages.CoLoR: 1.7.0 → 1.8.1

4 years ago

HoTT

coqPackages: refactor

5 years ago

ITree

coqPackages.ITree: changed pname to InteractionTrees

4 years ago

InfSeqExt

coqPackages: refactor

5 years ago

QuickChick

QuickChick: format

4 years ago

StructTact

coqPackages.StructTact: 20181102 → 20210328

4 years ago

VST

coqPackages.VST: build and install more modules from floyd/

4 years ago

Velisarios

coqPackages: refactor

5 years ago

Verdi

coqPackages.Verdi: 20200131 → 20210524

4 years ago

aac-tactics

coq_8_14: init at 8.14+rc1

4 years ago

addition-chains

coqPackages.addition-chains: 0.4 -> 0.5

4 years ago

autosubst

coqPackages.autosubst: 5b40a32e -> 1.7 and fix build

4 years ago

bignums

coq_8_14: init at 8.14+rc1

4 years ago

category-theory

coqPackages.category-theory: v20210730, for Coq versions 8.10-8.13

4 years ago

ceres

coqPackages.ceres: init at 0.4.0

4 years ago

compcert

coqPackages.VST: 2.7.1 -> 2.8

4 years ago

contribs

coqPackages: refactor

5 years ago

coq-bits

coq-bits: 1.0.0 -> 1.1.0

4 years ago

coq-elpi

coqPackages.coq-elpi: 1.10 -> 1.11

4 years ago

coq-ext-lib

coqPackages.coq-ext-lib: 0.11.3 → 0.11.4

4 years ago

coq-haskell

coqPackages: refactor

5 years ago

coqeal

coqPackages.coqeal: 1.0.6 -> 1.1.0

4 years ago

coqhammer

coqPackages.coqhammer: 1.3 → 1.3.1

4 years ago

coqprime

coqPackages.coqprime: enable for Coq 8.13

4 years ago

coqtail-math

coqtail-math: init at 20201124

4 years ago

coquelicot

coqPackages: refactor

5 years ago

corn

Merge pull request #136938 from siraben/mathcomp-analysis-update

4 years ago

deriving

coqPackages.deriving: init at 0.1.0

4 years ago

dpdgraph

coqPackages.dpdgraph: 0.6.9 → 1.0

4 years ago

equations

coq_8_14: init at 8.14+rc1

4 years ago

extructures

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

fiat

coqPackages: refactor

5 years ago

flocq

coqPackages.flocq: 3.3.1 → 3.4.2

4 years ago

fourcolor

coq_8_14: init at 8.14+rc1

4 years ago

gaia

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

gaia-hydras

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

gappalib

coqPackages.gappalib: 1.4.5 → 1.5.0

4 years ago

goedel

coqPackages.goedel: 8.12.0 -> 8.13.0

4 years ago

graph-theory

coqPackages.graph-theory: enable for Coq 8.14

4 years ago

heq

coqPackages: refactor

5 years ago

hierarchy-builder

Merge pull request #143793 from CohenCyril/fixHB-coq8.12

4 years ago

hydra-battles

coqPackages.hydra-battles: 0.4 -> 0.5

4 years ago

interval

interval: format

4 years ago

iris

Merge pull request #145711 from siraben/coq-smpl-init

4 years ago

itauto

coq_8_14: init at 8.14+rc1

4 years ago

ltac2

coqPackages: refactor

5 years ago

math-classes

Merge pull request #130023 from siraben/hierarchy-builder-update

4 years ago

mathcomp

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

mathcomp-abel

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

mathcomp-analysis

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

mathcomp-bigenough

coqPackages: refactor

5 years ago

mathcomp-finmap

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

mathcomp-real-closed

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

mathcomp-tarjan

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

mathcomp-zify

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

metalib

coqPackages.metalib: enable for Coq 8.13

4 years ago

multinomials

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

odd-order

coqPackages.mathcomp: 1.12.0 -> 1.13.0

4 years ago

paco

coq_8_14: init at 8.14+rc1

4 years ago

paramcoq

coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12)

4 years ago

parsec

coq_8_14: init at 8.14+rc1

4 years ago

pocklington

coqPackages.pocklington: init at 8.12.0

4 years ago

reglang

coq_8_14: init at 8.14+rc1

4 years ago

relation-algebra

coq_8_14: init at 8.14+rc1

4 years ago

semantics

coq_8_14: init at 8.14+rc1

4 years ago

serapi

treewide: quote urls according to rfc 0045 (#145260)

4 years ago

simple-io

coqPackages.simple-io: enable for Coq 8.13

4 years ago

smpl

coqPackages.smpl: init

4 years ago

stdpp

Merge pull request #145711 from siraben/coq-smpl-init

4 years ago

tlc

coqPackages.tlc: 20200328 → 20210316

4 years ago

topology

coqPackage.topology: 8.12.0 -> 9.0.0

4 years ago

zorns-lemma

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

4 years ago