diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 22:32:19 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 22:32:19 +0100 |
| commit | fd4f404a612b92c0b1634b2b9d3a4bbb208eecc6 (patch) | |
| tree | ac9c8bc450d6c41ee81b0903c71ec87b7b52ad69 | |
| parent | 8ec92ace4b82fdb31eda84b095d414ae5aed84c7 (diff) | |
import the why3 module
| -rw-r--r-- | modules/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/default.nix b/modules/default.nix index fbe500d..81cbb5c 100644 --- a/modules/default.nix +++ b/modules/default.nix @@ -4,7 +4,7 @@ with lib; let cfg = config; in { imports = - [ ./coq.nix ./golang.nix ./latex.nix ./nix.nix ./python.nix ./ocaml.nix ]; + [ ./coq.nix ./golang.nix ./latex.nix ./nix.nix ./python.nix ./ocaml.nix ./why3.nix ]; options = { # Inputs |