about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/opensmt
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2024-03-07opensmt: 2.5.2 -> 2.6.0R. Ryantm1-2/+2
2023-07-19opensmt: 2.5.1 -> 2.5.2R. Ryantm1-2/+2
2023-05-26opensmt: 2.5.0 -> 2.5.1R. Ryantm1-2/+2
2023-04-11opensmt: 2.4.3 -> 2.5.0R. Ryantm1-2/+2
2022-11-22opensmt: 2.4.2 -> 2.4.3R. Ryantm1-2/+2
2022-10-25opensmt: 2.4.1 -> 2.4.2R. Ryantm1-2/+2
2022-07-29opensmt: 2.3.1 -> 2.4.1R. Ryantm1-2/+2
2022-05-30treewide: pkgs/applications: mark broken for aarch64-linuxRick van Schijndel1-0/+1
2022-03-17opensmt: 2.3.0 -> 2.3.1R. Ryantm1-2/+2
2022-03-12opensmt: 2.2.0 -> 2.3.0R. Ryantm1-2/+2
2021-11-03opensmt: 2.1.1 -> 2.2.0R. Ryantm1-2/+2
2021-09-14opensmt: 2.1.0 -> 2.1.1R. RyanTM1-2/+2
2021-08-22opensmt: 2.0.1 -> 2.1.0R. RyanTM1-2/+2
2021-01-14fix mis-mergeMichael Raskin1-1/+1
2021-01-14Merge branch 'master' into remove-opensmtMichael Raskin1-1/+1
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2021-01-01opensmt: 20101017 -> 2.0.1freezeboy1-12/+25
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
2015-11-24opensmt: reimplement using mkDerivationJoachim Fasting1-39/+17
2014-08-08Mark a bunch of packages as broken or not supported on DarwinEelco Dolstra1-6/+3
2014-07-28Fix broken license references.Peter Simons1-5/+5
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk1-2/+1
2013-01-14Fix bad URLs lacking a schemeEelco Dolstra1-1/+1
2010-12-05Adding OpenSMTMichael Raskin1-0/+51
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 09:30:06 +0000