nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-27 14:34:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
27721801c1
nixpkgs/pkgs/applications/science/logic/coq
History
Ali Caglayan 8fe1ea496b coq: 8.16.1 -> 8.17.0 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-03-28 08:13:12 +02:00
..
default.nix coq: 8.16.1 -> 8.17.0 2023-03-28 08:13:12 +02:00