nixpkgs/pkgs/development/coq-modules/ at release-20.03

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

fork atom

nixpkgs / pkgs / development / coq-modules /

at release-20.03 40 folders

Cheerios

treewide: installFlags is a list

6 years ago

CoLoR

coqPackages.CoLoR support for Coq 8.10

6 years ago

HoTT

coqPackages: move to a separate file and filter the package set

8 years ago

InfSeqExt

treewide: installFlags is a list

6 years ago

QuickChick

treewide: remove redundant rec

6 years ago

StructTact

treewide: installFlags is a list

6 years ago

Velisarios

treewide: remove redundant rec

6 years ago

Verdi

treewide: installFlags is a list

6 years ago

autosubst

treewide: installFlags is a list

6 years ago

bignums

coqPackages.bignums: enable for Coq 8.11

6 years ago

category-theory

treewide: remove redundant rec

6 years ago

contribs

coqPackages_8_7.contribs.additions: remove

6 years ago

coq-bits

coqPackages.coq-bits: init at 20190812

6 years ago

coq-elpi

elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3

6 years ago

coq-ext-lib

treewide: installFlags is a list

6 years ago

coq-extensible-records

coqPackages.coq-extensible-records: support for coq 8.9 and 8.10

6 years ago

coq-haskell

treewide: remove redundant rec

6 years ago

coqhammer

coqPackages.coqhammer: 1.1.1 → 1.2

5 years ago

coqprime

treewide: installFlags is a list

6 years ago

coquelicot

coqPackages.coquelicot: 3.0.2 -> 3.0.3

6 years ago

corn

treewide: installFlags is a list

6 years ago

dpdgraph

coqPackages.dpdgraph: fix build with OCaml ≥ 4.08

5 years ago

equations

coqPackages.equations: 1.2 → 1.2.1

5 years ago

fiat

coqPackages_8_5.fiat_HEAD: fix build

7 years ago

flocq

coqPackages.flocq: fetch sources from gitlab

6 years ago

gappalib

coqPackages.gappalib: 1.4.1 → 1.4.3

5 years ago

heq

treewide: installFlags is a list

6 years ago

hierarchy-builder

coqPackages.hierarchy-builder: init at 0.9.0

6 years ago

interval

coqPackages.interval: 3.4.0 -> 3.4.1

6 years ago

iris

Merge branch 'master' into staging-next

6 years ago

ltac2

treewide: installFlags is a list

6 years ago

math-classes

treewide: installFlags is a list

6 years ago

mathcomp

coqPackages.mathcomp_1_10: init at 1.10.0

6 years ago

metalib

coqPackages_8_9: disable a few packages that do not build

7 years ago

paco

coqPackages.paco: 1.2.8 -> 4.0.0

6 years ago

paramcoq

coqPackages.paramcoq: 1.1.1 → 1.1.2

6 years ago

simple-io

coqPackages.simple-io: 1.0.0 -> 1.2.0

6 years ago

ssreflect

treewide: remove unused variables (#63177)

6 years ago

stdpp

Merge branch 'master' into staging-next

6 years ago

tlc

coqPackages.tlc: disable for Coq > 8.10

6 years ago