summary refs log tree commit diff
path: root/pkgs/applications/science/logic/aspino/default.nix
Commit message (Expand)AuthorAge
* aspino: remove patchShebangsWeijia Wang2022-11-25
* aspino: fix buildWeijia Wang2022-11-25
* aspino: mark broken for x86_64 DarwinRick van Schijndel2022-05-29
* aspino: 2017-03-09 -> 2018-03-24Armeen Mahdian2022-05-13
* pkgs/applications: rename name to pname&version part 2Felix Buehler2021-11-07
* 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