Index of /ubuntu-ports/pool/universe/p/picosat

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]picosat_965.orig.tar.gz2019-08-20 17:23 63K
[   ]picosat_965-2_s390x.deb2021-02-21 11:23 102K
[   ]picosat_965-2_riscv64.deb2021-02-21 11:38 143K
[   ]picosat_965-2_ppc64el.deb2021-02-21 11:23 118K
[   ]picosat_965-2_armhf.deb2021-02-21 11:23 81K
[   ]picosat_965-2_arm64.deb2021-02-21 11:23 82K
[   ]picosat_965-2.dsc2021-02-21 11:23 1.9K
[   ]picosat_965-2.debian.tar.xz2021-02-21 11:23 6.2K
[   ]picosat_965-1_s390x.deb2019-08-20 17:24 84K
[   ]picosat_965-1_riscv64.deb2020-04-03 14:23 145K
[   ]picosat_965-1_ppc64el.deb2019-08-20 17:24 118K
[   ]picosat_965-1_armhf.deb2019-08-20 17:24 81K
[   ]picosat_965-1_arm64.deb2019-08-20 17:24 82K
[   ]picosat_965-1.dsc2019-08-20 17:23 1.9K
[   ]picosat_965-1.debian.tar.xz2019-08-20 17:23 5.8K
[   ]picosat_960.orig.tar.gz2014-11-08 23:13 62K
[   ]picosat_960-1build1_s390x.deb2018-04-05 09:26 102K
[   ]picosat_960-1build1_ppc64el.deb2018-04-05 09:25 110K
[   ]picosat_960-1build1_armhf.deb2018-04-05 09:24 97K
[   ]picosat_960-1build1_arm64.deb2018-04-05 09:24 91K
[   ]picosat_960-1build1.dsc2018-04-05 09:22 1.8K
[   ]picosat_960-1build1.debian.tar.xz2018-04-05 09:22 6.1K
[   ]picosat_960-1_s390x.deb2015-12-05 01:49 108K
[   ]picosat_960-1_ppc64el.deb2014-11-08 23:28 113K
[   ]picosat_960-1_powerpc.deb2014-11-09 00:14 119K
[   ]picosat_960-1_armhf.deb2014-11-08 23:18 112K
[   ]picosat_960-1_arm64.deb2014-11-08 23:33 102K
[   ]picosat_960-1.dsc2014-11-08 23:13 1.7K
[   ]picosat_960-1.debian.tar.xz2014-11-08 23:13 6.0K
[   ]picosat_954.orig.tar.gz2012-12-21 05:33 62K
[   ]picosat_954-1_ppc64el.deb2014-02-19 18:10 110K
[   ]picosat_954-1_powerpc.deb2012-12-21 05:33 333K
[   ]picosat_954-1_armhf.deb2012-12-21 05:33 288K
[   ]picosat_954-1_arm64.deb2013-10-23 21:28 301K
[   ]picosat_954-1.dsc2012-12-21 05:33 1.0K
[   ]picosat_954-1.debian.tar.gz2012-12-21 05:33 6.4K

Apache/2.4.29 (Ubuntu) Server at us.ports.ubuntu.com Port 80