summary refs log tree commit diff
path: root/pkgs/applications/science/logic/aspino
Commit message (Expand)AuthorAge
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: update which packages I'm currently maintainingMaximilian Bosch2019-12-26
* Treewide: fix URL permanent redirectsc0bw3b2019-11-16
* treewide: remove redundant recvolth2019-08-28
* aspino: Disable build on aarch64-linuxSamuel Dionne-Riel2018-12-10
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* aspino: fix buildMaximilian Bosch2018-03-17
* aspino: patch to use c++ instead of g++Matthew Bauer2016-08-10
* aspino: init at 2016-01-31Gabriel Ebner2016-06-21