about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/aspino
AgeCommit message (Expand)AuthorFilesLines
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-26treewide: update which packages I'm currently maintainingMaximilian Bosch1-1/+1
2019-11-16Treewide: fix URL permanent redirectsc0bw3b1-1/+1
2019-08-28treewide: remove redundant recvolth1-1/+1
2018-12-10aspino: Disable build on aarch64-linuxSamuel Dionne-Riel1-0/+2
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-1/+1
2018-03-17aspino: fix buildMaximilian Bosch1-7/+19
2016-08-10aspino: patch to use c++ instead of g++Matthew Bauer1-0/+5
2016-06-21aspino: init at 2016-01-31Gabriel Ebner1-0/+31