Index of /ubuntu-ports/pool/universe/g/ghc
Name
Last modified
Size
Description
Parent Directory
-
ghc-doc_8.0.2-11_all.deb
2018-02-07 13:33
11M
ghc_8.0.2-11_armhf.deb
2018-02-07 18:08
61M
ghc-prof_8.0.2-11_armhf.deb
2018-02-07 18:08
42M
Apache/2.4.25 (Debian) Server at 34.70.117.24 Port 80