about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/beluga
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2023-09-22beluga: 1.1 -> 1.1.1R. Ryantm1-2/+2
2023-08-04beluga: fix hashWeijia Wang1-1/+1
2023-08-02beluga: 1.0 -> 1.1Ben Darwin1-16/+19
2023-01-22Merge pull request #210884 from vbgl/beluga-dune-3Weijia Wang1-1/+1
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol1-1/+1
2023-01-15beluga: use Dune 3Vincent Laporte1-1/+1
2022-11-16ocamlPackages.extlib: rename from ocaml_extlibsternenseemann1-1/+1
2022-05-29ocamlPackages: rename sedlex_2 into sedlexVincent Laporte1-1/+1
2021-04-01beluga: 2020-03-11 -> 1.0Mario Rodas1-4/+4
2020-04-19beluga: 20180403 -> unstable-2020-03-11Ben Darwin1-16/+22
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2018-04-04beluga: init at 20180403Ben Darwin1-0/+34