about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/anders
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-07-02pkgs/applications: replace "${version}" with versionfigsoda1-1/+1
2023-01-15anders: use Dune 3Vincent Laporte1-1/+1
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid1-1/+4
2022-02-02anders: init at 1.1.1Сухарик1-0/+24