3 commits

Author	SHA1	Message	Date
Fabian Affolter	e3e91040b1	scilla: 1.1.1 -> 1.2.1	2022-02-10 23:49:22 +01:00
Fabian Affolter	439c6eb770	scilla: 20210118 -> 1.1.1	2021-09-03 20:29:43 +02:00
Fabian Affolter	e29d45b44d	scilla: init at 20210118-74dd814	2021-01-18 10:12:00 +01:00