ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-08-16 12:10:39 +03:00
Code Issues Projects Releases Wiki Activity

0 Releases 42 Tags

RSS Feed

Tags

v1.3.2

2019-07-22 13:46:42 +03:00 79104f44f4 ZIP TAR.GZ

v1.3.1

2018-10-23 12:40:34 +03:00 1510fce923 ZIP TAR.GZ

v1.3.0

2018-05-26 20:30:22 +03:00 61cf812e97 ZIP TAR.GZ

v1.2.0

2018-01-07 21:12:04 +03:00 d77513b966 ZIP TAR.GZ

v1.1.1

2017-08-05 20:51:42 +03:00 cec8697cf4 ZIP TAR.GZ

v1.1.0

2017-08-01 14:51:00 +03:00 70f172c92a ZIP TAR.GZ

v1.0.1

2017-08-01 12:24:52 +03:00 7a54e9cf21 ZIP TAR.GZ

v1.0

2017-04-01 11:14:05 +03:00 e371823b6e ZIP TAR.GZ

v0.99.2

2017-03-26 18:27:03 +03:00 937c707da4 ZIP TAR.GZ

v0.99.1

2017-03-08 14:06:44 +03:00 a624eb038f ZIP TAR.GZ