2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-03 20:33:21 +00:00
nixpkgs/pkgs/applications/science/logic/beluga
Weijia Wang c5460eb4de
Merge pull request from vbgl/beluga-dune-3
Use dune 3 for a few OCaml tools
2023-01-22 02:22:57 +01:00
..
default.nix Merge pull request from vbgl/beluga-dune-3 2023-01-22 02:22:57 +01:00