about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/glucose
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-03-18glucose: 4.1 -> 4.2.1Weijia Wang1-4/+7
2023-03-18glucose: refactorWeijia Wang2-31/+20
2022-11-25glucose: fix build on aarch64-linuxWeijia Wang1-2/+5
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch2-4/+4
2019-08-15treewide: name -> pname (easy cases) (#66585)volth2-6/+6
2018-12-10glucose: Disable build on aarch64-linuxSamuel Dionne-Riel1-0/+2
2017-12-01glucose-syrup: Remove unused fetchurl argumentKeshav Kini1-1/+1
2017-11-08glucose, glucose-syrup: 4.0 -> 4.1Michael Raskin2-11/+12
2016-06-21glucose, glucose-syrup: init at 4.0Gabriel Ebner2-0/+50