about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/yices
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2023-03-22yices: fix typo in commentLuflosi1-1/+1
2023-02-19treewide:replace http by https when https is a permanent redirectionFerry Jérémie1-1/+1
2022-01-02yices: 2.6.2 -> 2.6.4R. RyanTM1-2/+2
2021-10-31yices: drop symlink hack, avoid ldconfig on linuxSergei Trofimovich2-16/+19
2021-10-13yices: 2.6.3 -> 2.6.2Sergei Trofimovich1-4/+9
2021-10-12yices: 2.6.1 -> 2.6.3 (#141241)Sergei Trofimovich1-4/+4
2021-01-24treewide: fix double quoted strings in meta.descriptionvolth1-1/+1
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-1/+1
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2019-09-26tree-wide: replace uses of splitString "." with lib.versionsJoachim Fasting1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-01-08yices: s/fetchurl/fetchFromGitHub/Austin Seipp1-6/+7
2018-11-02yices: 2.6.0 -> 2.6.1Kevin Quick1-2/+2
2018-07-12yices: use lib.splitString, not everyone has builtins.splitVersionWill Dietz1-1/+1
2018-07-12yices: simplify ln commandWill Dietz1-1/+1
2018-07-12yices: fix symlink to match version of packageWill Dietz1-2/+4
2018-07-11yices: 2.5.4 -> 2.6.0R. RyanTM1-2/+2
2017-11-05yices: 2.5.3 -> 2.5.4Austin Seipp1-12/+14
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
2017-09-02yices: now under GPLv3Austin Seipp1-1/+1
2017-08-27yices: 2.5.2 -> 2.5.3Will Dietz1-4/+4
2017-08-12yices: 2.5.1 -> 2.5.2Will Dietz1-3/+3
2017-07-06Update yices to add libpoly/mcsat functionality and add soname target.Kevin Quick1-5/+11
2016-10-30yices: Add darwin to meta.platformsWill Dietz1-4/+4
2016-10-26yices: Build in parallel, run tests, fix test shebang.Will Dietz1-0/+5
2016-10-26yices: fix install target by using 'true' as ldconfigWill Dietz1-0/+2
2016-10-26yices: 2.3.1 -> 2.5.1Will Dietz1-3/+3
2015-10-28yices: use correct static gmpVladimír Čunát1-4/+4
2015-10-28gmp: split into multiple outputsVladimír Čunát1-2/+2
2015-06-14nixpkgs: yices 2.2.1 -> 2.3.1, now with sourceAustin Seipp1-28/+11
2015-04-30meta.description fixupsJoachim Fasting1-1/+1
2014-12-26Change occurrences of gcc to the more general ccJohn Wiegley1-1/+1
2014-08-22Fix various evaluation problemsEelco Dolstra1-0/+2
2014-04-27nixpkgs: yices 2.2.1Austin Seipp1-0/+40
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-10 05:40:32 +0000