 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 |
|
|
Yifei Sun
|
24bd08564f
|
coqPackages.bbv: modernize mkCoqDerivation release hash format
|
2026-06-17 21:33:52 +02:00 |
|
|
Yifei Sun
|
c94a501489
|
coqPackages.autosubst: modernize mkCoqDerivation release hash format
|
2026-06-17 21:33:52 +02:00 |
|
|
Yifei Sun
|
a986951c3a
|
coqPackages.autosubst-ocaml: modernize mkCoqDerivation release hash format
|
2026-06-17 21:33:51 +02:00 |
|
|
Yifei Sun
|
bf203cad2a
|
coqPackages.atbr: modernize mkCoqDerivation release hash format
|
2026-06-17 21:33:51 +02:00 |
|
|
Yifei Sun
|
731a7b0994
|
coqPackages.async-test: modernize mkCoqDerivation release hash format
|
2026-06-17 21:33:51 +02:00 |
|
|
Yifei Sun
|
e81aa9a3cf
|
coqPackages.addition-chains: modernize mkCoqDerivation release hash format
|
2026-06-17 21:33:50 +02:00 |
|
|
Yifei Sun
|
5eaeb47340
|
coqPackages.aac-tactics: modernize mkCoqDerivation release hash format
|
2026-06-17 21:33:50 +02:00 |
|
|
Guillaume Girol
|
e096545465
|
ghostunnel: 1.8.4 -> 1.10.0 (#528177)
|
2026-06-17 18:54:20 +00:00 |
|
|
Guillaume Girol
|
c5eab8042c
|
zap-chip-gui: remove, zap-chip: 2026.02.26 -> 2026.05.21 (#526127)
|
2026-06-17 18:40:47 +00:00 |
|
|
Pol Dellaiera
|
90ec824b78
|
claude-code: 2.1.178 -> 2.1.179 (#532545)
|
2026-06-17 18:13:09 +00:00 |
|
|
Yohann Boniface
|
73fff57558
|
xaos: add coolcuber as maintainer (#532740)
|
2026-06-17 17:58:39 +00:00 |
|
|
coolcuber
|
a161f4aa5a
|
xaos: add coolcuber as maintainer
|
2026-06-17 13:45:46 -04:00 |
|
|
nixpkgs-ci[bot]
|
02573a1637
|
claude-agent-acp: 0.42.0 -> 0.45.1 (#532478)
|
2026-06-17 17:45:10 +00:00 |
|
|
Yohann Boniface
|
9c550b8608
|
maintainers: remove superherointj (#532708)
|
2026-06-17 17:44:05 +00:00 |
|
|
K900
|
8e3cbe42c3
|
octavePackages: drop mesa dependencies (#532710)
|
2026-06-17 17:41:31 +00:00 |
|
|
Audrey Dutcher
|
b9242ceb34
|
nixtamal: 1.6.0 → 1.7.0 (#531970)
|
2026-06-17 17:40:20 +00:00 |
|
|
·𐑑𐑴𐑕𐑑𐑩𐑤
|
b1c5eac91b
|
nixtamal: 1.7.0 → 1.7.1
|
2026-06-18 00:26:01 +07:00 |
|
|
Alexis Hildebrandt
|
86681402a4
|
clive: fix doInstallCheck attribute (#532405)
|
2026-06-17 17:19:29 +00:00 |
|
|
Alexis Hildebrandt
|
ae75f21975
|
whisper-cpp: 1.8.5 -> 1.8.7 (#532522)
|
2026-06-17 17:17:41 +00:00 |
|
|
Alexis Hildebrandt
|
53772dcf5a
|
librewolf-unwrapped: add mBornand as maintainer (#532101)
|
2026-06-17 17:16:28 +00:00 |
|
|
Adam C. Stephens
|
11f0766e2b
|
sabnzbd: 5.0.3 -> 5.0.4 (#532724)
|
2026-06-17 17:15:20 +00:00 |
|