 Yifei Sun
|
7aec8dc57b
|
coqPackages.relation-algebra: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
7ef5c7008e
|
coqPackages.reglang: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
9cf868977f
|
coqPackages.QuickChick: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
434eafb298
|
coqPackages.pocklington: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
22109292e2
|
coqPackages.parseque: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
049e371f89
|
coqPackages.parsec: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
a178de67ba
|
coqPackages.paramcoq: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
00cdb73f9e
|
coqPackages.paco: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
e1528bbab0
|
coqPackages.Ordinal: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
f8b01a78ab
|
coqPackages.odd-order: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
611c412e17
|
coqPackages.multinomials: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:00 +02:00 |
|
|
Yifei Sun
|
543e7c1e6e
|
coqPackages.mtac2: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
4c60cf6979
|
coqPackages.metarocq: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
08dea0e977
|
coqPackages.metalib: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
079cac3184
|
coqPackages.metacoq: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
908d234bbb
|
coqPackages.MenhirLib: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
5e2c21a18f
|
coqPackages.mathcomp: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
ea90735c72
|
coqPackages.mathcomp-zify: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
6738ce0670
|
coqPackages.mathcomp-word: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
b6d7dab2e5
|
coqPackages.mathcomp-tarjan: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
a665ab9a13
|
coqPackages.mathcomp-real-closed: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
7581c3b967
|
coqPackages.mathcomp-infotheo: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:59 +02:00 |
|
|
Yifei Sun
|
14f2656611
|
coqPackages.mathcomp-finmap: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:58 +02:00 |
|
|
Yifei Sun
|
2606ddbaf9
|
coqPackages.mathcomp-bigenough: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:58 +02:00 |
|
|
Yifei Sun
|
b090f22d41
|
coqPackages.mathcomp-apery: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:58 +02:00 |
|
|
Yifei Sun
|
ccefd47cbd
|
coqPackages.mathcomp-analysis: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:58 +02:00 |
|
|
Yifei Sun
|
bf09bdd606
|
coqPackages.mathcomp-algebra-tactics: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:58 +02:00 |
|
|
Yifei Sun
|
a1c9258b45
|
coqPackages.mathcomp-abel: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:58 +02:00 |
|
|
Yifei Sun
|
66b275646e
|
coqPackages.math-classes: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:58 +02:00 |
|
|
Yifei Sun
|
727a946e3c
|
coqPackages.ltac2: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:58 +02:00 |
|
|
Yifei Sun
|
16ff2901b5
|
coqPackages.LibHyps: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:58 +02:00 |
|
|
Yifei Sun
|
88b2189a35
|
coqPackages.lemma-overloading: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:58 +02:00 |
|
|
Yifei Sun
|
8c3394af13
|
coqPackages.json: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
ebf177f72f
|
coqPackages.jasmin: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
2e9005d061
|
coqPackages.ITree: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
6b7f2d1bdf
|
coqPackages.itree-io: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
f9f0f9acfa
|
coqPackages.itauto: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
13eda00ab7
|
coqPackages.iris: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
5a97fea754
|
coqPackages.iris-named-props: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
4a84c62ffb
|
coqPackages.interval: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
fdaa8f59a2
|
coqPackages.InfSeqExt: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
fe02b1d3cd
|
coqPackages.hydra-battles: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
08b3fb3206
|
coqPackages.http: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:57 +02:00 |
|
|
Yifei Sun
|
b13fcebdd0
|
coqPackages.HoTT: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:56 +02:00 |
|
|
Yifei Sun
|
533ca2fd89
|
coqPackages.high-school-geometry: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:56 +02:00 |
|
|
Yifei Sun
|
74ccd3b2dd
|
coqPackages.hierarchy-builder: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:56 +02:00 |
|
|
Yifei Sun
|
bf839fea48
|
coqPackages.heq: modernize mkCoqDerivation release hash format
|
2026-06-17 22:36:56 +02:00 |
|
|
Yifei Sun
|
b1dbcbb9e3
|
coqPackages.graph-theory: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:14 +02:00 |
|
|
Yifei Sun
|
10a9723411
|
coqPackages.goedel: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:14 +02:00 |
|
|
Yifei Sun
|
c23cb265c5
|
coqPackages.gappalib: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:14 +02:00 |
|