Commit Graph

7 Commits

Author SHA1 Message Date
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