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.
174427 Commits
7 Branches
1 Tag
1.4 GiB
 
 
 
 
 
 
Tag: Branch: Tree: f84594c7d7
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'f84594c7d7'
${ noResults }
nomicon/pkgs/development/coq-modules
History
Vincent Laporte 823107038b
coqPackages.coqhammer: init at 1.1 		5 years ago
..
Cheerios coqPackages.Cheerios: fix build 6 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 coqPackages.InfSeqExt: fix build 6 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 coqPackages.Verdi: fix build 6 years ago
autosubst coqPackages.autosubst: fix build 6 years ago
bignums coqPackages.bignums: enable for Coq version 8.9 6 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 coqPackages.corn: init at 8.8.1 6 years ago
dpdgraph Revert "coq-modules: add default to fix eval" 5 years ago
equations Revert "coq-modules: add default to fix eval" 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
math-classes coqPackages.math-classes: 1.0.7 -> 8.8.1 6 years ago
mathcomp coqPackages.ssreflect: inherit mathcomp's source/meta attributes 6 years ago
mathcomp-analysis coqPackages.mathcomp-analysis: enable for Coq 8.9 5 years ago
mathcomp-bigenough coqPackages.mathcomp-analysis: enable for Coq 8.9 5 years ago
mathcomp-finmap coqPackages.mathcomp-analysis: enable for Coq 8.9 5 years ago
metalib coqPackages_8_9: disable a few packages that do not build 5 years ago
multinomials coqPackages.multinomials: init at 1.0 7 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 coqPackages.coq-simple-io: 0.2 -> 1.0.0 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: 20171206 -> 20180316 (#40927) 6 years ago