edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-09-19 20:07:20 +03:00
Code Issues Projects Releases Wiki Activity
21507e64f3
Idris2-boot/libs
History
Edwin Brady 21507e64f3 Some Racket CG fixes 
libc needs a version number, and we need to make sure we're not
generating FFI definitions more than once
2020-05-15 12:43:31 +01:00
..
base Some Racket CG fixes 2020-05-15 12:43:31 +01:00
contrib Update CHANGELOG and CONTRIBUTORS 2020-05-13 13:12:41 +01:00
network Fix builds on *BSD 2020-04-22 11:09:05 -03:00
prelude Some Racket CG fixes 2020-05-15 12:43:31 +01:00