about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/formula/default.nix
AgeCommit message (Expand)AuthorFilesLines
2022-11-28formula: unbreak on aarch64-linuxWeijia Wang1-1/+0
2022-07-15formula: add mainProgramBen Siraphob1-0/+1
2022-06-22formula: unmark as broken on darwinBen Siraphob1-1/+1
2022-06-22formula: unstable-2022-02-02 -> unstable-2022-06-20Ben Siraphob1-3/+3
2022-06-22formula: add update scriptBen Siraphob1-1/+3
2022-05-30treewide: pkgs/applications: mark broken for aarch64-linuxRick van Schijndel1-1/+1
2022-05-29treewide: pkgs/applications: mark broken for darwinRick van Schijndel1-0/+1
2022-02-15formula: init at 2.0Ben Siraphob1-0/+32