Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
buffer_demo.adb 16-Oct-2022 11:00 3.6K
mtest.adb 16-Oct-2022 11:00 4.4K
read.adb 16-Oct-2022 11:00 4.1K
readme.txt 23-Apr-2020 11:00 2.1K
test.adb 16-Oct-2022 11:00 13K
zlib-streams.adb 16-Oct-2022 11:00 5.9K
zlib-streams.ads 16-Oct-2022 11:00 4.2K
zlib-thin.adb 16-Oct-2022 11:00 3.2K
zlib-thin.ads 16-Oct-2022 11:00 15K
zlib.adb 16-Oct-2022 11:00 20K
zlib.ads 16-Oct-2022 11:00 13K
![[ ]](/icons/unknown.gif){kind=icon}
zlib.gpr 23-Apr-2020 11:00 511