nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-19 20:23:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
a13c1e2763
nixpkgs/pkgs/applications/science/logic/coq
History
Vincent Laporte 68e4b639a3
Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native 
coq: Move dune, ocaml and findlib to nativeBuildInputs
2022-02-26 08:54:53 +01:00
..
default.nix Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native 2022-02-26 08:54:53 +01:00