Index of /ubuntu/pool/universe/h/haskell-presburger/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
haskell-presburger_1.3.1-1.debian.tar.xz 194816-Dec-2015 23:24
haskell-presburger_1.3.1-1.dsc 241716-Dec-2015 23:24
haskell-presburger_1.3.1-10.debian.tar.xz 463205-Nov-2023 09:19
haskell-presburger_1.3.1-10.dsc 236705-Nov-2023 09:19
haskell-presburger_1.3.1-10build1.debian.tar.xz 468015-May-2024 09:24
haskell-presburger_1.3.1-10build1.dsc 236215-May-2024 09:24
haskell-presburger_1.3.1-11.debian.tar.xz 466022-Oct-2024 06:44
haskell-presburger_1.3.1-11.dsc 236722-Oct-2024 06:44
haskell-presburger_1.3.1-3build1.debian.tar.xz 217625-Jan-2017 13:26
haskell-presburger_1.3.1-3build1.dsc 231625-Jan-2017 13:26
haskell-presburger_1.3.1-7.debian.tar.xz 434825-Aug-2019 17:48
haskell-presburger_1.3.1-7.dsc 233125-Aug-2019 17:48
haskell-presburger_1.3.1-8build2.debian.tar.xz 473629-Oct-2020 21:29
haskell-presburger_1.3.1-8build2.dsc 247229-Oct-2020 21:29
haskell-presburger_1.3.1.orig.tar.gz 11K16-Dec-2015 23:24
libghc-presburger-dev_1.3.1-10_amd64.deb 167K06-Nov-2023 08:15
libghc-presburger-dev_1.3.1-10build1_amd64.deb 167K15-May-2024 14:02
libghc-presburger-dev_1.3.1-11_amd64.deb 162K22-Oct-2024 11:30
libghc-presburger-dev_1.3.1-1_amd64.deb 147K17-Dec-2015 10:44
libghc-presburger-dev_1.3.1-1_i386.deb 151K17-Dec-2015 10:45
libghc-presburger-dev_1.3.1-3build1_amd64.deb 155K25-Jan-2017 14:02
libghc-presburger-dev_1.3.1-3build1_i386.deb 158K25-Jan-2017 14:03
libghc-presburger-dev_1.3.1-7_amd64.deb 156K25-Aug-2019 17:48
libghc-presburger-dev_1.3.1-8build2_amd64.deb 155K30-Oct-2020 21:39
libghc-presburger-doc_1.3.1-10_all.deb 59K06-Nov-2023 08:15
libghc-presburger-doc_1.3.1-10build1_all.deb 59K15-May-2024 14:02
libghc-presburger-doc_1.3.1-11_all.deb 59K22-Oct-2024 11:30
libghc-presburger-doc_1.3.1-1_all.deb 34K17-Dec-2015 10:44
libghc-presburger-doc_1.3.1-3build1_all.deb 35K25-Jan-2017 14:02
libghc-presburger-doc_1.3.1-7_all.deb 52K25-Aug-2019 17:48
libghc-presburger-doc_1.3.1-8build2_all.deb 60K30-Oct-2020 21:39
libghc-presburger-prof_1.3.1-10_amd64.deb 148K06-Nov-2023 08:15
libghc-presburger-prof_1.3.1-10build1_amd64.deb 148K15-May-2024 14:02
libghc-presburger-prof_1.3.1-11_amd64.deb 150K22-Oct-2024 11:30
libghc-presburger-prof_1.3.1-1_amd64.deb 120K17-Dec-2015 10:44
libghc-presburger-prof_1.3.1-1_i386.deb 127K17-Dec-2015 10:45
libghc-presburger-prof_1.3.1-3build1_amd64.deb 128K25-Jan-2017 14:02
libghc-presburger-prof_1.3.1-3build1_i386.deb 133K25-Jan-2017 14:03
libghc-presburger-prof_1.3.1-7_amd64.deb 133K25-Aug-2019 17:48
libghc-presburger-prof_1.3.1-8build2_amd64.deb 131K30-Oct-2020 21:39

Welcome to Ubuntu Taiwan LoCo Team (ubuntu-tw) / OSS Planet Mirror Server

Empowering Open Source: Free Hosting for a Free World We are open, we love freedom. Free Hosting for Open Projects. Join the movement. #JustGoOpen

If you're seeking a mirror, please contact us. OSSPlanet
We support HTTP, HTTPS, FTP, Rsync, and Tor .onion site.

We operate mirror servers in multiple regions to better serve our users:

Choose the server closest to your location for optimal performance!

Highlights

ubuntu/
Ubuntu archive repository for APT sources.list
ubuntu-cdimage/
Mirror of http://cdimage.ubuntu.com/
ubuntu-cloud-images/
Mirror of https://cloud-images.ubuntu.com/
ubuntu-ports/
Ubuntu APT source repo for non-x86. (ARM, etc). Mirror of http://ports.ubuntu.com/
ubuntu-releases/
Installation CD/DVD image.
mirror-ubuntu.sh
If you want to mirror ubuntu/ to your server, download this script and run it 4 times a day with cron. (0 */6 * * *)
/ and /mirror/
All mirror repos. (Apache, CPAN, GNU, Kernel, LDP, Mozilla, other Linux distro, hosting, etc)

Services

Taiwan Servers (Asia)

HTTP
HTTPS
FTP

Note on FTP: While we currently support FTP, we will be dropping support in the future as the protocol is being phased out industry-wide. We recommend using HTTPS or Rsync instead.

Rsync

Finland Servers (Europe)

HTTP
HTTPS
Rsync

Network and Infrastructure

Taiwan Server (Primary Asia Mirror)

Server
mirror.ossplanet.net
Sponsored by
National Chi Nan University
Network
TWAREN Academic Network
Features
  • 100Gbps backbone with multiple optical segments
  • 12 GigaPOPs across Taiwan
  • International connectivity to major exchanges
Network Documentation

Finland Server (Primary Europe Mirror)

Server
mirror.fi.ossplanet.net
Sponsored by
Matthew Lien (BlueT)
Infrastructure
Hetzner Datacenter
Features
  • Multi-redundant network connections
  • Peering at major European exchanges
  • High-performance infrastructure
Network Documentation

Data handling and privacy policy

  1. IP addresses and Logs will be saved for troubleshooting, abuse, and statistical purposes.
  2. Only few of our system administrators have access to the log files.
  3. Our infrastructure and network providers could have other logging.

Limits

Contact

Admin: BlueT - Matthew Lien - 練喆明
Email: apply at ossplanet dot net AND bluet at bluet dot org