13 Commits

Author	SHA1	Message	Date
Austin Seipp	79f3b75f3c	picat: 3.0p4 -> 3.3p3 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2023-02-09 16:21:11 -06:00
Ben Siraphob	acc5f7b18a	pkgs/development/compilers: stdenv.lib -> lib	2021-01-23 08:57:37 +07:00
Austin Seipp	7996fb0d4e	picat: 3.0p3 -> 3.0p4 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2021-01-15 12:03:57 -06:00
Austin Seipp	8be3b7c105	picat: enable on aarch64-linux ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-11-21 03:34:56 -06:00
Austin Seipp	f6d423470a	picat: 3.0p2 -> 3.0p3, co-maintain ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-11-20 07:36:27 -06:00
Austin Seipp	232a0c2a90	picat: 3.0 -> 3.0p2 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-10-20 09:52:41 -05:00
Austin Seipp	c68d982ac8	picat: 2.8-2 -> 3.0 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-09-29 21:20:30 -05:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Maximilian Bosch	6638819910	picat: 1.9-4 -> 2.8-2	2020-01-28 20:11:01 +01:00
John Ericson	2c2f1e37d4	reewide: Purge all uses stdenv.system and top-level system ... It is deprecated and will be removed after 18.09.	2018-08-30 17:20:32 -04:00
James Earl Douglas	c918020ed9	picat: add meta.maintainers	2017-10-22 18:30:33 -06:00
Robin Gloster	e7be1168ba	picat: disable format hardening	2016-05-31 12:57:28 +00:00
James Earl Douglas	292f9e5f23	picat: init at 1.9-4	2016-05-26 15:29:03 -06:00