Logo
Explore Help
Sign In
public/nixpkgs
1
0
Fork 0
You've already forked nixpkgs
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
dbbdccdd658169a9f001eff01a7629a2404780ba
nixpkgs/pkgs/development/coq-modules
History
Vincent Laporte 8bfce24045 coqPackages.interval: 2.2.1 -> 3.1.1
2017-02-11 14:02:19 +01:00
..
bedrock
…
contribs
…
coq-ext-lib
coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5}
2017-01-14 15:36:02 +01:00
coqeal
…
coquelicot
coqPackages.coquelicot: 2.1.1 -> 2.1.2
2017-02-11 14:02:19 +01:00
domains
…
dpdgraph
coqPackages.dpdgraph: 0.5 -> 0.6{,.1}
2017-01-12 21:23:18 +00:00
fiat
coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2
2016-10-31 16:22:04 -07:00
flocq
coqPackages.flocq: 2.5.1 -> 2.5.2
2017-01-14 15:53:03 +01:00
heq
…
interval
coqPackages.interval: 2.2.1 -> 3.1.1
2017-02-11 14:02:19 +01:00
math-classes
coqPackages.math-classes: init at 2016-06-08
2017-01-27 11:16:30 +00:00
mathcomp
coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1
2017-02-11 14:02:19 +01:00
paco
…
QuickChick
…
ssreflect
coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1
2017-02-11 14:02:19 +01:00
tlc
…
unimath
…
ynot
…
Powered by Gitea Version: 1.25.5 Page: 4464ms Template: 29ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API