Commit Graph

36 Commits

Author SHA1 Message Date
Armeen Mahdian
2cfd398b57 ats2: 0.4.1 -> 0.4.2 2022-04-26 15:04:13 -05:00
FliegendeWurst
c4da493b24 ats2: disable parallel build 2022-01-29 11:36:34 +01:00
Ben Siraphob
acc5f7b18a pkgs/development/compilers: stdenv.lib -> lib 2021-01-23 08:57:37 +07:00
Thales Macedo Garitezi
8a3ae55970 ats2: 0.3.13 -> 0.4.1 2020-10-10 22:26:59 -03:00
volth
46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00
Brandon Elam Barker
3aac221a2e ats2: 0.3.12 -> 0.3.13
Due to upcoming packaging changes with ATS2, the -gmp release will be the
same as the old release, and it is the most full-featured release. So
nothing is changing other than the .tgz archive name.
2019-02-16 13:40:15 +00:00
Brandon Elam Barker
68cb7903c7 ats2: 0.3.11 -> 0.3.12 2018-10-23 13:23:03 +00:00
Brandon Elam Barker
52f81b6b58 ats2: 0.3.9 -> 0.3.11 2018-06-07 11:44:06 +00:00
Brandon Elam Barker
56bfad192a bumping ATS2 version form 0.3.7 to 0.3.9 2018-03-08 19:15:54 +00:00
Yurii Rashkovskii
a83067ea9e ats2: 0.3.0 -> 0.3.7
The patch is no longer needed as ats2 includes contribs in the
upstream Makefile_dist file
2017-11-30 13:09:50 +07:00
Karn Kallio
4b1da9ba67 Postiats version 0.3.0
The attached patch updates the Postiats nixpkgs expression to the
latest released 0.3.0 version.

From c89bfabd847ebd62c8dd77cb7385ea4effa929be Mon Sep 17 00:00:00 2001
From: Karn Kallio <kkallio@skami.org>
Date: Sat, 21 Jan 2017 13:28:23 -0400
Subject: [PATCH] ats2 : update Postiats to the latest released 0.3.0 version.
2017-01-21 13:38:35 -05:00
Karn Kallio
4383aa26f2 ats2 : advance to latest version 0.2.13 2016-12-25 10:34:14 +00:00
Karn Kallio
841b19500a ats2 : advance Postiats to version 0.2.12, which is the latest release. 2016-11-25 09:21:29 +01:00
Thomas Tuegel
a953b6c1ca
ats2: clean up expression 2016-10-24 06:44:21 -05:00
Karn Kallio
df5ffdc4c1
ats2 : update to latest stable release 0.2.11 2016-10-24 06:40:30 -05:00
Thomas Tuegel
9035827986 ats2: 0.2.6 -> 0.2.7 2016-05-16 08:08:50 -05:00
Thomas Tuegel
3f74ac1f34 ats2: add ttuegel to maintainers 2016-05-11 10:02:09 -05:00
Thomas Tuegel
d91e736de5 ats2: 0.2.4 -> 0.2.6 2016-05-11 10:01:59 -05:00
Shea Levy
ffc1762715 ats2: 0.1.12 -> 0.2.4 2015-11-29 10:04:57 -05:00
Shea Levy
7962915680 ats2: bump 2015-05-17 06:43:26 -04:00
Shea Levy
a704233a87 Add ats-extsolve (formerly patsolve) 2015-04-30 18:54:40 -04:00
Shea Levy
97bcc831f1 ats2: bump 2015-04-24 06:55:06 -04:00
Shea Levy
d480957d2a ats2: bump 2015-04-15 22:51:10 -04:00
Shea Levy
c08a0d240c ats2: bump 2015-03-05 18:21:56 -05:00
John Wiegley
79b214ef95 ats, ats2: refine supported platforms to linux 2015-01-03 07:53:06 -05:00
Shea Levy
130d817286 Ats2: bump 2014-10-27 19:11:58 -04:00
Shea Levy
d9716fb642 ats2: bump 2014-09-20 02:15:42 -04:00
Shea Levy
ceb367a8a2 ats2: Bump 2014-08-29 16:13:48 -04:00
Shea Levy
013aedffea ats2: bump 2014-08-27 22:51:27 -04:00
Michael Weiss
39c09b04c7 ATS2 version [0.0.7] --> [0.1.0] 2014-07-28 17:00:02 +02:00
Austin Seipp
e590c0a867 ats/ats2: clean-up, adopt, add Hydra packages
This also bumps ATS2 to version 0.0.7

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 11:26:16 -05:00
Artyom Shalkhakov
0242b3c6ac Adding ATS1, updating ATS2 package. 2014-03-25 04:53:13 +01:00
Artyom Shalkhakov
52e99bc723 Bumping ATS/Postiats version to 0.0.5. 2014-02-09 16:26:46 +01:00
Shea Levy
b47609410b ats: unmaintain
Signed-off-by: Shea Levy <shea@shealevy.com>
2014-02-03 18:14:27 -05:00
Bjørn Forsman
200d629733 Fix evaluation error caused by the "ats" expression 2013-10-26 12:43:12 +02:00
Shea Levy
665c4882e8 Add ats
Signed-off-by: Shea Levy <shea@shealevy.com>
2013-10-25 13:33:32 -04:00