Index of /LNF/linux/ubuntu/16.04
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
LNFaterm-710/ 2020-10-18 16:46 -
LNFcvc-47/ 2020-10-27 00:00 -
LNFcvc-dev-47/ 2020-10-27 00:00 -
LNFcvc-libs-47/ 2020-10-27 00:00 -
LNFdarwin/ 2018-05-14 19:14 -
LNFe-darwin/ 2020-10-27 15:34 -
LNFe-krhyper/ 2020-10-30 00:15 -
LNFeprover/ 2020-10-28 06:11 -
LNFesqueleto-710/ 2020-10-19 06:06 -
LNFglade-710/ 2018-05-05 04:45 -
LNFhets-libs/ 2018-05-16 10:58 -
LNFhexpat-710/ 2020-10-18 16:45 -
LNFleo2/ 2020-10-29 18:17 -
LNFlex/ 2018-04-30 04:33 -
LNFlibmilter-docs/ 2018-03-04 02:03 -
LNFlibmilter/ 2018-03-04 02:03 -
LNFlist-710/ 2018-04-26 19:34 -
LNFmicrolens-710/ 2020-10-18 15:49 -
LNFmicrolens-th-710/ 2020-10-18 16:21 -
LNFmysql-710/ 2020-10-18 21:31 -
LNFmysql-simple-710/ 2020-10-19 03:40 -
LNFnvidia-graphics-drivers/ 2017-11-07 15:46 -
LNFowltools/ 2020-10-15 22:36 -
LNFpersistent-710/ 2020-10-18 22:39 -
LNFpersistent-mysql-710/ 2020-10-19 05:59 -
LNFpersistent-postgresql-710/ 2020-10-19 05:46 -
LNFpersistent-sqlite-710/ 2020-10-19 05:56 -
LNFpersistent-template-710/ 2020-10-19 05:37 -
LNFpkgtools/ 2018-04-30 05:55 -
LNFroot/ 2018-01-06 08:25 -
LNFsatallax/ 2020-10-29 13:16 -
LNFsendmail-docs/ 2018-03-04 02:03 -
LNFsendmail/ 2018-03-04 02:03 -
LNFspass/ 2018-05-10 09:03 -
LNFth-abstraction-710/ 2020-10-18 16:11 -
LNFudrawgraph/ 2018-06-01 15:37 -
LNFuni-events-710/ 2020-10-20 19:45 -
LNFuni-graphs-710/ 2020-10-20 21:26 -
LNFuni-htk-710/ 2020-10-20 21:01 -
LNFuni-posixutil-710/ 2020-10-20 20:01 -
LNFuni-reactor-710/ 2020-10-20 20:29 -
LNFuni-udrawgraph-710/ 2020-10-20 21:33 -
LNFuni-util-710/ 2020-10-20 17:06 -
LNFyices/ 2020-11-01 01:51 -
LNFzchaff/ 2020-11-01 04:51 -
veeam5-nosnap/ 2021-07-01 07:00 -
![[ ]](/icons/compressed.gif)
Packages.gz 2024-03-25 22:37 19K GZIP compressed archive
![[TXT]](/icons/text.gif)
README 2018-01-01 17:31 165
![[ ]](/icons/bomb.gif)
cvc-47-1.8.0-3.deb 2020-10-27 00:00 69K Debian/Ubuntu package
cvc-dev-47-1.8.0-3.deb 2020-10-27 00:00 107K Debian/Ubuntu package
cvc-libs-47-1.8.0-3.deb 2020-10-27 00:00 5.4M Debian/Ubuntu package
darwin-1.4.5-4.deb 2018-05-14 19:14 538K Debian/Ubuntu package
e-darwin-1.4.26092011-1.deb 2020-10-27 15:34 633K Debian/Ubuntu package
eprover-2.0-2.deb 2018-05-15 06:35 1.4M Debian/Ubuntu package
eprover-2.5-2.deb 2020-10-28 06:11 1.6M Debian/Ubuntu package
hets-common_0.100.0.0.1-1.deb 2018-01-11 07:28 10M Debian/Ubuntu package
hets-common_0.100.1-5.deb 2018-05-28 11:03 10M Debian/Ubuntu package
hets-common_0.102.1-1.deb 2019-01-28 19:29 10M Debian/Ubuntu package
hets-common_0.105.1-1.deb 2020-10-18 01:11 10M Debian/Ubuntu package
hets-desktop-all_1.1.0-1_amd64.deb 2020-11-01 10:34 856 Debian/Ubuntu package
hets-desktop-all_1.1.0-2_amd64.deb 2020-11-01 10:36 856 Debian/Ubuntu package
hets-desktop_0.100.0.0.1-1.deb 2018-01-11 07:28 14M Debian/Ubuntu package
hets-desktop_0.100.1-5.deb 2018-05-28 11:03 14M Debian/Ubuntu package
hets-desktop_0.102.1-1.deb 2019-01-28 19:29 14M Debian/Ubuntu package
hets-desktop_0.105.1-1.deb 2020-10-18 01:11 13M Debian/Ubuntu package
hets-provers_1.1.0-1_amd64.deb 2020-11-01 10:34 936 Debian/Ubuntu package
hets-provers_1.1.0-2_amd64.deb 2020-11-01 10:36 936 Debian/Ubuntu package
hets-server-all_1.1.0-1_amd64.deb 2020-11-01 10:34 870 Debian/Ubuntu package
hets-server-all_1.1.0-2_amd64.deb 2020-11-01 10:36 864 Debian/Ubuntu package
hets-server_0.100.0.0.1-1.deb 2018-01-11 07:28 13M Debian/Ubuntu package
hets-server_0.100.1-5.deb 2018-05-28 11:03 12M Debian/Ubuntu package
hets-server_0.102.1-1.deb 2019-01-28 19:29 12M Debian/Ubuntu package
hets-server_0.105.1-1.deb 2020-10-18 01:11 12M Debian/Ubuntu package
leo2-1.7.0.1-4.deb 2020-10-29 18:17 548K Debian/Ubuntu package
lex-11-1.deb 2018-04-30 04:33 78K Debian/Ubuntu package
libghc-aterm-dev-0.1.0.1-4.deb 2018-04-27 17:33 151K Debian/Ubuntu package
libghc-aterm-dev-0.1.0.2-1.deb 2020-10-18 16:46 151K Debian/Ubuntu package
libghc-esqueleto-dev-2.5.3-3.deb 2020-10-19 06:06 270K Debian/Ubuntu package
libghc-glade-dev-0.13.1-4.deb 2018-05-05 04:45 145K Debian/Ubuntu package
libghc-hexpat-dev-0.20.13-6.deb 2020-10-18 16:45 222K Debian/Ubuntu package
libghc-list-dev-0.6.2-1.deb 2018-04-26 19:34 59K Debian/Ubuntu package
libghc-microlens-dev-0.4.8.3-1.deb 2018-01-15 14:27 50K Debian/Ubuntu package
libghc-microlens-dev-0.4.11.2-1.deb 2020-10-18 15:49 51K Debian/Ubuntu package
libghc-microlens-th-dev-0.4.0.0-1.deb 2020-10-18 16:07 170K Debian/Ubuntu package
libghc-microlens-th-dev-0.4.1.3-1.deb 2018-01-15 14:27 78K Debian/Ubuntu package
libghc-microlens-th-dev-0.4.3.6-2.deb 2020-10-18 16:22 88K Debian/Ubuntu package
libghc-mysql-dev-0.1.4-5.deb 2018-05-05 10:14 141K Debian/Ubuntu package
libghc-mysql-dev-0.1.7-4.deb 2020-10-18 21:31 144K Debian/Ubuntu package
libghc-mysql-simple-dev-0.4.4-3.deb 2018-05-05 10:15 206K Debian/Ubuntu package
libghc-mysql-simple-dev-0.4.5-1.deb 2020-10-19 03:40 211K Debian/Ubuntu package
libghc-persistent-dev-2.7.3-1.deb 2018-01-15 14:28 794K Debian/Ubuntu package
libghc-persistent-dev-2.7.3.1-1.deb 2020-10-18 22:39 787K Debian/Ubuntu package
libghc-persistent-mysql-dev-2.6.2.1-2.deb 2020-10-19 06:00 139K Debian/Ubuntu package
libghc-persistent-postgresql-dev-2.6.2.2-1.deb 2018-01-15 14:29 194K Debian/Ubuntu package
libghc-persistent-postgresql-dev-2.6.3-1.deb 2020-10-19 05:47 196K Debian/Ubuntu package
libghc-persistent-sqlite-dev-2.6.4-2.deb 2020-10-19 05:56 481K Debian/Ubuntu package
libghc-persistent-template-dev-2.5.3-1.deb 2018-01-15 14:28 208K Debian/Ubuntu package
libghc-persistent-template-dev-2.6.0-1.deb 2020-10-19 05:37 209K Debian/Ubuntu package
libghc-th-abstraction-dev-0.4.0.0-1.deb 2020-10-18 16:11 170K Debian/Ubuntu package
libghc-uni-events-dev-2.2.2.0-2.deb 2020-10-20 19:45 88K Debian/Ubuntu package
libghc-uni-graphs-dev-2.2.1.0-1.deb 2018-04-27 19:41 340K Debian/Ubuntu package
libghc-uni-graphs-dev-2.2.1.1-2.deb 2020-10-20 21:26 338K Debian/Ubuntu package
libghc-uni-htk-dev-2.2.1.3-2.deb 2020-10-20 21:01 2.1M Debian/Ubuntu package
libghc-uni-posixutil-dev-2.2.1.1-2.deb 2020-10-20 20:02 42K Debian/Ubuntu package
libghc-uni-reactor-dev-2.2.1.0-2.deb 2020-10-20 20:29 28K Debian/Ubuntu package
libghc-uni-udrawgraph-dev-2.2.1.3-2.deb 2020-10-20 21:33 265K Debian/Ubuntu package
libghc-uni-util-dev-2.3.0.1-3.deb 2018-04-27 18:26 494K Debian/Ubuntu package
libghc-uni-util-dev-2.3.0.2-1.deb 2020-10-20 17:06 495K Debian/Ubuntu package
libmilter-8.15.2-3.deb 2018-03-04 02:03 67K Debian/Ubuntu package
libmilter-docs-8.15.2-3.deb 2018-03-04 02:03 84K Debian/Ubuntu package
nvidia-graphics-drivers-4.4.0-93-generic.deb 2017-10-01 02:46 7.2M Debian/Ubuntu package
nvidia-graphics-drivers-4.4.0-96-generic.deb 2017-11-07 15:46 7.2M Debian/Ubuntu package
nvidia-graphics-drivers.deb 2017-11-07 15:46 7.2M Debian/Ubuntu package
owltools-0.2.1.0.2016.3.10-1.deb 2018-05-16 13:08 30M Debian/Ubuntu package
owltools-0.3.0.0.2019.7.1-1.deb 2020-10-15 22:36 37M Debian/Ubuntu package
pkgtools-11.0-2.deb 2018-04-30 05:55 1.8M Debian/Ubuntu package
pkgtools.rpm 2018-04-30 05:55 4.6M RPM package
root.deb 2018-01-06 08:25 9.9K Debian/Ubuntu package
satallax-2.7-2.deb 2020-10-29 13:16 611K Debian/Ubuntu package
sendmail-8.15.2-3.deb 2018-03-04 02:03 1.4M Debian/Ubuntu package
sendmail-docs-8.15.2-3.deb 2018-03-04 02:03 551K Debian/Ubuntu package
sendmail.deb 2018-03-04 02:03 1.4M Debian/Ubuntu package
spass-3.7-4.deb 2018-05-09 18:33 2.1M Debian/Ubuntu package
spass-3.9.0-3.deb 2018-05-10 09:03 3.8M Debian/Ubuntu package
udrawgraph-3.1.1-9.deb 2018-06-01 15:37 3.0M Debian/Ubuntu package
veeam5-nosnap-5.0.0.4318-2.deb 2021-07-01 07:02 46M Debian/Ubuntu package
yices-2.6.2-2.deb 2020-11-01 01:51 1.4M Debian/Ubuntu package
zchaff-2008.10.12-1.deb 2020-11-01 04:51 71K Debian/Ubuntu package
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80