about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/formula
AgeCommit message (Expand)AuthorFilesLines
2022-12-19treewide: update all dotnet lockfilesDavid McFarland1-57/+34
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 Siraphob2-6/+60
2022-06-22formula: add update scriptBen Siraphob1-1/+3
2022-06-17formula: update dependenciesmdarocha1-1/+1
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-05-16formula: update for dotnet 6Ivar Scholten1-14/+17
2022-02-15formula: init at 2.0Ben Siraphob2-0/+109