 Yifei Sun
|
85f89ea677
|
coqPackages.VplTactic: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:03 +02:00 |
|
|
Yifei Sun
|
aabd366d44
|
coqPackages.Vpl: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:03 +02:00 |
|
|
Yifei Sun
|
068f2f2b80
|
coqPackages.Verdi: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
Yifei Sun
|
673d5894c0
|
coqPackages.Velisarios: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
Yifei Sun
|
3d7afbfaf9
|
coqPackages.vcfloat: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
Yifei Sun
|
ad797a21b6
|
coqPackages.validsdp: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
Yifei Sun
|
91c9a3993f
|
coqPackages.unicoq: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
Yifei Sun
|
099a9d8ac8
|
coqPackages.TypedExtraction: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
Yifei Sun
|
5a240848a7
|
coqPackages.trakt: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
Yifei Sun
|
2bbeb65bde
|
coqPackages.topology: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
Yifei Sun
|
bdf85f40f2
|
coqPackages.tlc: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
Yifei Sun
|
10f15122dd
|
coqPackages.StructTact: modernize mkCoqDerivation release hash format
|
2026-06-17 22:37:02 +02:00 |
|
|
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 |
|