gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,018,352 Commits 9 Branches 0 Tags
5a97fea75478e40583150dcaba328866df2175db
Commit Graph

1018352 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Yifei Sun 3730ba921c coqPackages.coqutil: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun 92a184718c coqPackages.coquelicot: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun d496653b3d coqPackages.coqtail-math: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun cb652af10b coqPackages.coqprime: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun 46e6fe186b coqPackages.coqhammer: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun 4541dd71ed coqPackages.coqfmt: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun a4b34ff8c3 coqPackages.coqeal: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun 6a728a7eea coqPackages.coq-tactical: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun 077d45d30b coqPackages.coq-record-update: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun 4f0f37bcbc coqPackages.CoqMatrix: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun 217f63ec6b coqPackages.coq-lsp: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02:00
Yifei Sun f5b9147921 coqPackages.coq-haskell: modernize mkCoqDerivation release hash format 2026-06-17 21:53:11 +02:00
Yifei Sun 3146d6f070 coqPackages.coq-hammer-tactics: modernize mkCoqDerivation release hash format 2026-06-17 21:53:11 +02:00
Yifei Sun ef400b2de9 coqPackages.coq-elpi: modernize mkCoqDerivation release hash format 2026-06-17 21:53:11 +02:00
Yifei Sun a0b18667f5 coqPackages.coq-bits: modernize mkCoqDerivation release hash format 2026-06-17 21:53:11 +02:00
Yifei Sun 1e27971d48 coqPackages.ConCert: modernize mkCoqDerivation release hash format 2026-06-17 21:53:11 +02:00
Yifei Sun 8cfef789b3 coqPackages.compcert: modernize mkCoqDerivation release hash format 2026-06-17 21:53:11 +02:00
Yifei Sun 0a448e2ebb coqPackages.CoLoR: modernize mkCoqDerivation release hash format 2026-06-17 21:33:54 +02:00
Yifei Sun 80cc0d0eb7 coqPackages.coinduction: modernize mkCoqDerivation release hash format 2026-06-17 21:33:54 +02:00
Yifei Sun 523653be97 coqPackages.Cheerios: modernize mkCoqDerivation release hash format 2026-06-17 21:33:54 +02:00
Yifei Sun 4915373d76 coqPackages.CertiRocq: modernize mkCoqDerivation release hash format 2026-06-17 21:33:54 +02:00
Yifei Sun daf9b16b13 coqPackages.ceres: modernize mkCoqDerivation release hash format 2026-06-17 21:33:53 +02:00
Yifei Sun 1cef0cb18d coqPackages.ceres-bs: modernize mkCoqDerivation release hash format 2026-06-17 21:33:53 +02:00
Yifei Sun 2896c5c13b coqPackages.category-theory: modernize mkCoqDerivation release hash format 2026-06-17 21:33:53 +02:00
Yifei Sun f652c7f1fb coqPackages.CakeMLExtraction: modernize mkCoqDerivation release hash format 2026-06-17 21:33:52 +02:00
Yifei Sun 967d6efae4 coqPackages.bignums: modernize mkCoqDerivation release hash format 2026-06-17 21:33:52 +02:00