diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-06-02 20:59:31 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-02 20:59:31 +0100 |
commit | cd4a5870eac6aab4650ab3bc3e643e52d5847bb2 (patch) | |
tree | 798a6ba7fe76cc07a604bb1fe244e6b8a24690de | |
parent | d1d4d09558f79367ea5e486bec3fa5dd19d8b113 (diff) | |
download | vericert-cd4a5870eac6aab4650ab3bc3e643e52d5847bb2.tar.gz vericert-cd4a5870eac6aab4650ab3bc3e643e52d5847bb2.zip |
Add lp_solve dependency to nix
-rw-r--r-- | flake.nix | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -11,7 +11,7 @@ in pkgs.mkShell { buildInputs = with pkgs; - [ ncoq ncoq.ocaml ncoqPackages.serapi dune_3 gcc python3 ] + [ ncoq ncoq.ocaml ncoqPackages.serapi dune_3 gcc python3 lp_solve ] ++ (with ncoq.ocamlPackages; [ findlib menhir menhirLib ocamlgraph ocp-indent utop merlin ]) ++ (with python3Packages; [ alectryon sphinx_rtd_theme ]); }; |