hms/nixos
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
nixos/shells/why3-dev
History
Exact
Henri Saudubray 23aaa96938
feat (shells/why3-dev): menhir-lsp
2026-02-13 17:49:26 +01:00
..
flake.lock feat (shells): haskell, java, switch to unstable 2026-01-03 14:05:43 +01:00
flake.nix feat (shells/why3-dev): menhir-lsp 2026-02-13 17:49:26 +01:00
menhir-lsp.nix feat (shells/why3-dev): menhir-lsp 2026-02-13 17:49:26 +01:00