 Yifei Sun
|
297c15a7df
|
coqPackages.stdpp: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
Yifei Sun
|
8202f38070
|
coqPackages.stdlib: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:01 +02:00 |
|
|
Yifei Sun
|
758feba058
|
coqPackages.stalmarck-tactic: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:01 +02:00 |
|
|
Yifei Sun
|
7173d123d4
|
coqPackages.ssprove: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:01 +02:00 |
|
|
Yifei Sun
|
1dedfb45b3
|
coqPackages.smtcoq: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:01 +02:00 |
|
|
Yifei Sun
|
d41437e84c
|
coqPackages.smpl: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:01 +02:00 |
|
|
Yifei Sun
|
3e74d65c06
|
coqPackages.simple-io: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:01 +02:00 |
|
|
Yifei Sun
|
e4abd8dab1
|
coqPackages.serapi: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:01 +02:00 |
|
|
Yifei Sun
|
9dd99058f1
|
coqPackages.semantics: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:01 +02:00 |
|
|
Yifei Sun
|
81c69e0934
|
coqPackages.RustExtraction: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:01 +02:00 |
|
|
Yifei Sun
|
591803e253
|
coqPackages.rewriter: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:01 +02:00 |
|
|
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 |
|