Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-01-15 | picat: 3.0p3 -> 3.0p4 | Austin Seipp | 1 | -3/+3 |
2020-11-21 | picat: enable on aarch64-linux | Austin Seipp | 1 | -8/+9 |
2020-11-20 | picat: 3.0p2 -> 3.0p3, co-maintain | Austin Seipp | 1 | -16/+9 |
2020-10-20 | picat: 3.0 -> 3.0p2 | Austin Seipp | 1 | -3/+3 |
2020-09-29 | picat: 2.8-2 -> 3.0 | Austin Seipp | 1 | -3/+4 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -2/+2 |
2020-01-28 | picat: 1.9-4 -> 2.8-2 | Maximilian Bosch | 1 | -6/+9 |
2018-08-30 | reewide: Purge all uses `stdenv.system` and top-level `system` | John Ericson | 1 | -2/+2 |
2017-10-22 | picat: add meta.maintainers | James Earl Douglas | 1 | -0/+1 |
2016-05-31 | picat: disable format hardening | Robin Gloster | 1 | -0/+2 |
2016-05-26 | picat: init at 1.9-4 | James Earl Douglas | 1 | -0/+35 |