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