/debian-ports/pool-x32/main/g/ghc/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ghc_8.8.4-3_x32.deb127.8 MiB04.10.2021 12:03
ghc-prof_8.8.4-3_x32.deb98.6 MiB04.10.2021 12:03
ghc_8.8.4-3_x32.buildinfo9.7 KiB04.10.2021 12:03