nixos/nixpkgs.git/pkgs/development/coq-modules/stdpp, branch master Nix Packages collection rocqPackages.iris: init at 4.5.0 2026-03-10T15:42:16+00:00 4ever2 3417013+4ever2@users.noreply.github.com 2026-03-09T12:43:16+00:00 18f99b11614c6f0e5d1e70d6af91ad527963fa24 






rocqPackages.stdpp: init at 1.13.0
2026-03-09T12:49:40+00:00

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

2026-03-09T12:42:41+00:00

f136d4a6ec926c4eb0a19034816decd50d2759fd












treewide: clean up 'meta = with' pattern
2025-12-10T17:09:49+00:00

Ihar Hrachyshka
ihar.hrachyshka@gmail.com

2025-12-10T16:44:00+00:00

567e8dfd8eddc5468e6380fc563ab8a27422ab1d

This commit was created by a combination of scripts and tools:
- an ast-grep script to prefix things in meta with `lib.`,
- a modified nixf-diagnose / nixf combination to remove unused `with
lib;`, and
- regular nixfmt.

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>





This commit was created by a combination of scripts and tools:
- an ast-grep script to prefix things in meta with `lib.`,
- a modified nixf-diagnose / nixf combination to remove unused `with
lib;`, and
- regular nixfmt.

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>







coqPackages.stdpp : 1.11.0 -> 1.12.0
2025-08-29T09:00:54+00:00

damhiya
damhiya@gmail.com

2025-07-23T10:41:00+00:00

4caa0405838edf0ad36c69b8142160f4f3b69776












coqPackages.*: 9.0 -> 9.1
2025-07-09T05:27:19+00:00

Pierre Roux
pierre.roux@onera.fr

2025-07-08T11:52:31+00:00

6bb4f60316f63f10779a512bdfa7cacd7893a239












coqPackages.*: better formatting fix
2025-06-30T08:10:31+00:00

Pierre Roux
pierre.roux@onera.fr

2025-06-29T14:35:20+00:00

19e4869241080cea1a831a05c0298b61de944695












coqPackages.*: fix formatting
2025-06-21T15:23:27+00:00

Pierre Roux
pierre.roux@onera.fr

2025-06-19T10:29:43+00:00

0ddb075c4db5d065e42867f45247b3a0091c486e












treewide: remove unused rec expressions
2025-03-14T04:15:05+00:00

Sigmanificient
edhyjox@gmail.com

2025-03-14T01:57:08+00:00

91d5ab3ae47e000d32ad4ed3609c8c996f274066












coq_9_0: init at 9.0+rc1
2025-01-26T15:32:07+00:00

Pierre Roux
pierre.roux@onera.fr

2025-01-24T16:13:12+00:00

c683a77656bfb77a8ad392a08021c2be736af250












Add coqPackages.stdlib
2024-12-13T10:42:53+00:00

Pierre Roux
pierre.roux@onera.fr

2024-07-19T11:38:54+00:00

629830c8ffc7d1b34533a6ebebde0eaec0c5c941