kookie
/
nomicon
1
0
Fork 0
Code Issues Projects Releases 1 Activity
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.
181842 Commits
7 Branches
1 Tag
1.4 GiB
 
 
 
 
 
 
Tag: Branch: Tree: 021e04d0eb
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '021e04d0eb'
${ noResults }
nomicon/pkgs/development/coq-modules
History
Cyril Cohen 547466064e
coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed 		5 years ago
..
Cheerios coq: init at 8.10+β1 5 years ago
CoLoR coq: init at 8.8+beta1 6 years ago
HoTT coqPackages: move to a separate file and filter the package set 7 years ago
InfSeqExt coq: init at 8.10+β1 5 years ago
QuickChick coqPackages.coq-simple-io: 0.2 -> 1.0.0 5 years ago
StructTact coqPackages.StructTact: fix build 6 years ago
Velisarios Revert "coq-modules: add default to fix eval" 5 years ago
Verdi coq: init at 8.10+β1 5 years ago
autosubst coqPackages.autosubst: fix build 6 years ago
bignums updating packages coqPackages.bignums and coqPackages.equations 5 years ago
category-theory Revert "coq-modules: add default to fix eval" 5 years ago
contribs coqPackages.contribs.containers: enable for Coq 8.9 5 years ago
coq-ext-lib coqPackages.coq-ext-lib: 0.10.0 -> 0.10.1 5 years ago
coq-extensible-records coqPackages.coq-extensible-records: init at 1.2.0 5 years ago
coq-haskell Revert "coq-modules: add default to fix eval" 5 years ago
coqhammer coqPackages.coqhammer: init at 1.1 5 years ago
coqprime Revert "coq-modules: add default to fix eval" 5 years ago
coquelicot coqPackages.coquelicot: 3.0.1 -> 3.0.2 5 years ago
corn coq: init at 8.10+β1 5 years ago
dpdgraph Revert "coq-modules: add default to fix eval" 5 years ago
equations updating packages coqPackages.bignums and coqPackages.equations 5 years ago
fiat coqPackages_8_5.fiat_HEAD: fix build 6 years ago
flocq coqPackages.flocq: 3.0.0 -> 3.1.0 5 years ago
heq coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. 6 years ago
interval coqPackages.interval: 3.3.0 -> 3.4.0 5 years ago
iris coqPackages_8_9: disable a few packages that do not build 5 years ago
ltac2 coqPackages.ltac2: init at 0.1 5 years ago
math-classes coq: init at 8.10+β1 5 years ago
mathcomp coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed 5 years ago
metalib coqPackages_8_9: disable a few packages that do not build 5 years ago
paco coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. 6 years ago
paramcoq coqPackages.paramcoq: init at 1.1.1 5 years ago
simple-io coq: init at 8.10+β1 5 years ago
ssreflect coqPackages.ssreflect: inherit mathcomp's source/meta attributes 6 years ago
stdpp coqPackages_8_9: disable a few packages that do not build 5 years ago
tlc coqPackages.tlc: 20180316 -> 20181116 5 years ago