about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/opensmt
AgeCommit message (Collapse)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \ | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-05-30opensmt: 2.6.0 -> 2.7.0R. Ryantm1-2/+2
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
The nixpkgs-unstable channel's programs.sqlite was used to identify packages producing exactly one binary, and these automatically added to their package definitions wherever possible.
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
Part of: https://github.com/NixOS/nixpkgs/issues/108938 meta = with stdenv.lib; is a widely used pattern. We want to slowly remove the `stdenv.lib` indirection and encourage people to use `lib` directly. Thus let’s start with the meta field. This used a rewriting script to mostly automatically replace all occurances of this pattern, and add the `lib` argument to the package header if it doesn’t exist yet. The script in its current form is available at https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
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
treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
* pkgs: refactor needless quoting of homepage meta attribute A lot of packages are needlessly quoting the homepage meta attribute (about 1400, 22%), this commit refactors all of those instances. * pkgs: Fixing some links that were wrongfully unquoted in the previous commit * Fixed some instances
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
svn path=/nixpkgs/trunk/; revision=24978