nixos/nixpkgs.git/pkgs/development/coq-modules/RustExtraction, branch master Nix Packages collection treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgs 2026-01-07T01:47:21+00:00 Ihar Hrachyshka ihar.hrachyshka@gmail.com 2025-12-21T19:25:52+00:00 c539fa85e319474de7c04c1a8adf97796cbc99f3 Partial #208242 
Partial #208242
treewide: conform descriptions to the standards 2025-07-28T04:39:00+00:00 mivorasu 221005165+mivorasu@users.noreply.github.com 2025-07-23T04:23:40+00:00 ee0866bddda29235c7c412a1596cfbe791273a81 






coqPackages.*: more 9.0 -> 9.1
2025-07-09T13:02:00+00:00

Pierre Roux
pierre.roux@onera.fr

2025-07-09T11:24:20+00:00

c8723acd6a1488082520a0f22e2692322fdcc7d4












coqPackages.RustExtraction: 0.1.0 → 0.1.1
2025-05-26T14:59:01+00:00

4ever2
3417013+4ever2@users.noreply.github.com

2025-05-23T09:27:48+00:00

c9594b64fed8a7e8272cdbb772e324548ccf791a












coqPackages.metacoq: 1.3.2 → 1.3.4
2025-01-29T14:58:22+00:00

4ever2
3417013+4ever2@users.noreply.github.com

2025-01-29T11:17:27+00:00

360076da02294de3e19ede4c7669b12b4eadae57












coqPackages.RustExtraction: init at 0.1.0
2024-10-15T06:58:49+00:00

4ever2
3417013+4ever2@users.noreply.github.com

2024-10-13T13:15:28+00:00

459c32e47ea9506113ae61c4a35a45f8a830dba1