2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-20 19:16:11 +00:00
nixpkgs/pkgs/applications/science/logic/hol_light
2021-11-07 14:53:06 +01:00
..
default.nix pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00