Commit Graph

5 Commits

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