jca ddc1481081 BROKEN on arm

2017-01-23 09:52:37 +00:00

..

pkg

Update to seed7-20151129.

2015-11-30 08:09:57 +00:00

distinfo

Update to seed7-20160130.

2016-01-31 09:59:50 +00:00

Makefile

BROKEN on arm

2017-01-23 09:52:37 +00:00