nixpkgs/pkgs/applications/science/logic/beluga
2021-04-01 04:20:00 +00:00
..
default.nix beluga: 2020-03-11 -> 1.0 2021-04-01 04:20:00 +00:00