 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 |
|
|
Yifei Sun
|
5a28392bc3
|
coqPackages.gaia: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
9894ad3e50
|
coqPackages.gaia-hydras: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
b153e366c1
|
coqPackages.fourcolor: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
5914e2aecf
|
coqPackages.flocq: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
8e6115f919
|
coqPackages.fcsl-pcm: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
acb5cdf7e3
|
coqPackages.extructures: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
fee3983be5
|
coqPackages.ExtLib: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
b53de1d330
|
coqPackages.equations: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
3612ccd719
|
coqPackages.ElmExtraction: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
4e17bea8a5
|
coqPackages.dpdgraph: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
d3abdfc7ca
|
coqPackages.deriving: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:13 +02:00 |
|
|
Yifei Sun
|
13b98ceb6d
|
coqPackages.corn: modernize mkCoqDerivation release hash format
|
2026-06-17 21:53:12 +02:00 |
|