about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/satallax
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-02-22treewide: move NIX_CFLAGS_COMPILE to the env attrsetArtturin1-1/+1
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid1-2/+5
2023-01-09satallax: add darwin supportWeijia Wang1-6/+22
2022-01-26treewide: remove all updateWalker/downloadURLRegexpFelix Buehler1-1/+0
2021-07-18treewide: remove meta.versionFelix Buehler1-1/+0
2021-02-19treewide: makeWrapper buildInputs to nativeBuildInputsBen Siraphob1-1/+2
2021-01-24treewide: fix double quoted strings in meta.descriptionvolth1-1/+1
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-6/+6
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-03-05satallax: Fix build with GCC9Daniel Schaefer2-0/+26
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-2/+2
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger1-1/+1
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
2016-08-23treewide: Use more makeBinPathTuomas Tynkkynen1-1/+1
2016-03-31satallax: 1.4 -> 2.7Michael Raskin1-56/+51
2014-11-06Turn more licenses into lib.licenses styleMateusz Kowalczyk1-7/+6
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra1-3/+3
2010-12-03Adding Satallax proverMichael Raskin1-0/+72