summary refs log tree commit diff
path: root/pkgs/applications/science/logic/opensmt
Commit message (Expand)AuthorAge
* opensmt: 2.3.0 -> 2.3.1R. Ryantm2022-03-17
* opensmt: 2.2.0 -> 2.3.0R. Ryantm2022-03-12
* opensmt: 2.1.1 -> 2.2.0R. Ryantm2021-11-03
* opensmt: 2.1.0 -> 2.1.1R. RyanTM2021-09-14
* opensmt: 2.0.1 -> 2.1.0R. RyanTM2021-08-22
* fix mis-mergeMichael Raskin2021-01-14
* Merge branch 'master' into remove-opensmtMichael Raskin2021-01-14
|\
| * treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* | opensmt: 20101017 -> 2.0.1freezeboy2021-01-01
|/
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* opensmt: reimplement using mkDerivationJoachim Fasting2015-11-24
* Mark a bunch of packages as broken or not supported on DarwinEelco Dolstra2014-08-08
* Fix broken license references.Peter Simons2014-07-28
* Turn some license strings into lib.licenses valuesMateusz Kowalczyk2014-07-28
* Fix bad URLs lacking a schemeEelco Dolstra2013-01-14
* Adding OpenSMTMichael Raskin2010-12-05
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-11 13:07:11 +0000