summary refs log tree commit diff
path: root/pkgs/applications/science/logic/opensmt/default.nix
Commit message (Expand)AuthorAge
* opensmt: 2.5.1 -> 2.5.2R. Ryantm2023-07-19
* opensmt: 2.5.0 -> 2.5.1R. Ryantm2023-05-26
* opensmt: 2.4.3 -> 2.5.0R. Ryantm2023-04-11
* opensmt: 2.4.2 -> 2.4.3R. Ryantm2022-11-22
* opensmt: 2.4.1 -> 2.4.2R. Ryantm2022-10-25
* opensmt: 2.3.1 -> 2.4.1R. Ryantm2022-07-29
* treewide: pkgs/applications: mark broken for aarch64-linuxRick van Schijndel2022-05-30
* 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-02 08:00:31 +0000