![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
| haskell-presburger_1.3.1-8build2.debian.tar.xz | 2020-10-29 21:29 | 4.6K |
![[text]](/theme/icons/text-plain.svg){kind=icon} | haskell-presburger_1.3.1-8build2.dsc | 2020-10-29 21:29 | 2.4K |
| haskell-presburger_1.3.1-10.debian.tar.xz | 2023-11-05 09:19 | 4.5K |
| haskell-presburger_1.3.1-10.dsc | 2023-11-05 09:19 | 2.3K |
![[gzip]](/theme/icons/application-x-archive.svg){kind=icon} | haskell-presburger_1.3.1.orig.tar.gz | 2015-12-16 23:24 | 11K |
| libghc-presburger-dev_1.3.1-8build2_amd64.deb | 2020-10-30 21:39 | 155K |
| libghc-presburger-dev_1.3.1-10_amd64.deb | 2023-11-06 08:15 | 167K |
| libghc-presburger-doc_1.3.1-8build2_all.deb | 2020-10-30 21:39 | 60K |
| libghc-presburger-doc_1.3.1-10_all.deb | 2023-11-06 08:15 | 59K |
| libghc-presburger-prof_1.3.1-8build2_amd64.deb | 2020-10-30 21:39 | 131K |
| libghc-presburger-prof_1.3.1-10_amd64.deb | 2023-11-06 08:15 | 148K |