Index of /LNF/linux/ubuntu/18.04
Name Last modified Size Description
Parent Directory -
LNFaterm-80/ 2020-10-18 06:09 -
LNFcuda-drivers/ 2021-09-03 23:20 -
LNFcvc-47/ 2020-10-26 23:58 -
LNFcvc-dev-47/ 2020-10-26 23:58 -
LNFcvc-libs-47/ 2020-10-26 23:58 -
LNFdarwin/ 2020-10-29 00:14 -
LNFdcgm-exporter/ 2020-12-21 22:38 -
LNFe-darwin/ 2020-10-29 00:17 -
LNFe-krhyper/ 2020-11-01 09:44 -
LNFeprover/ 2020-10-27 20:57 -
LNFfilebench/ 2020-03-24 02:16 -
LNFglade-80/ 2018-05-05 09:28 -
LNFhets-libs/ 2019-05-09 18:11 -
LNFhexpat-80/ 2018-05-05 07:50 -
LNFleo2/ 2020-10-29 13:54 -
LNFlibmilter-docs/ 2018-10-08 08:09 -
LNFlibmilter/ 2018-10-08 08:09 -
LNFlibprom-dev/ 2021-06-23 01:02 -
LNFlibprom/ 2021-06-23 01:02 -
LNFlist-80/ 2020-10-18 06:14 -
LNFmysql-80/ 2022-07-01 03:55 -
LNFmysql-simple-80/ 2022-07-01 03:57 -
LNFnetdata/ 2020-01-19 08:18 -
LNFnv-docker/ 2019-05-09 04:42 -
LNFnvidia-dkms-418/ 2020-04-13 19:12 -
LNFnvidia-dkms-470/ 2021-09-03 23:20 -
LNFnvidia-docker2/ 2019-06-02 20:49 -
LNFnvidia-driver-418/ 2020-04-13 19:12 -
LNFnvidia-driver-470/ 2021-09-03 23:20 -
LNFnvidia-headless-no-dkms-418/ 2020-04-13 19:12 -
LNFnvidia-headless-no-dkms-470/ 2021-09-03 23:20 -
LNFnvmex-10/ 2021-05-19 05:06 -
LNFnvmex-11/ 2021-05-19 05:06 -
LNFowltools/ 2021-04-14 03:25 -
LNFpellet/ 2020-10-10 04:05 -
LNFpersistent-mysql-80/ 2022-07-01 03:58 -
LNFpkgtools/ 2018-05-05 00:29 -
LNFroot/ 2018-05-15 22:03 -
LNFsatallax/ 2020-10-29 12:59 -
LNFsendmail-docs/ 2018-10-08 08:09 -
LNFsendmail/ 2018-10-08 08:09 -
LNFspass/ 2018-05-10 12:50 -
LNFudrawgraph/ 2018-06-06 20:52 -
LNFuni-events-80/ 2018-05-05 08:04 -
LNFuni-graphs-80/ 2020-10-18 17:02 -
LNFuni-htk-80/ 2018-05-05 08:06 -
LNFuni-posixutil-80/ 2018-05-05 08:05 -
LNFuni-reactor-80/ 2018-05-05 08:05 -
LNFuni-udrawgraph-80/ 2020-10-20 21:37 -
LNFuni-util-80/ 2018-05-05 08:04 -
LNFuperf/ 2020-09-17 06:34 -
LNFvampire/ 2021-01-07 05:11 -
LNFyices/ 2020-11-01 00:27 -
LNFz3-dev-48/ 2021-01-07 04:05 -
LNFz3-lib-48/ 2021-01-07 04:05 -
LNFz3/ 2021-01-07 04:05 -
LNFzchaff/ 2020-11-01 04:53 -
beta/ 2019-05-16 17:49 -
veeam4-nosnap/ 2021-04-01 01:33 -
veeam5-nosnap/ 2021-04-20 17:45 -
Packages.gz 2024-10-18 17:57 42K GZIP compressed archive
astra-toolbox-1.9.9.0.0.20200207-1.deb 2020-04-10 07:10 6.0M Debian/Ubuntu package
cuda-drivers-418.40.04-1.deb 2019-05-28 06:17 1.2K Debian/Ubuntu package
cuda-drivers-418.67-3.deb 2019-08-25 03:37 1.2K Debian/Ubuntu package
cuda-drivers-418.87.1-1.deb 2020-04-13 19:12 1.3K Debian/Ubuntu package
cuda-drivers-470.42.1-1.deb 2021-07-13 22:40 1.3K Debian/Ubuntu package
cuda-drivers-470.57.2-1.deb 2021-09-03 23:20 1.3K Debian/Ubuntu package
cvc-47-1.8.0-3.deb 2020-10-26 23:58 71K Debian/Ubuntu package
cvc-dev-47-1.8.0-3.deb 2020-10-26 23:59 107K Debian/Ubuntu package
cvc-libs-47-1.8.0-3.deb 2020-10-26 23:59 5.3M Debian/Ubuntu package
darwin-1.4.5-4.deb 2020-10-29 00:14 714K Debian/Ubuntu package
dcgm-exporter-2.0.13-1.deb 2020-12-21 22:39 3.5M Debian/Ubuntu package
e-darwin-1.4.26092011-1.deb 2020-10-29 00:17 833K Debian/Ubuntu package
e-krhyper-1.4.21022014-2.deb 2020-11-01 09:44 4.4M Debian/Ubuntu package
eprover-2.0-2.deb 2018-05-15 06:47 1.4M Debian/Ubuntu package
eprover-2.5-1.deb 2020-10-27 20:57 1.8M Debian/Ubuntu package
filebench-1.4.9.1-1.deb 2020-03-24 02:16 284K Debian/Ubuntu package
hets-common_0.100.1-3.deb 2018-05-16 04:18 10M Debian/Ubuntu package
hets-common_0.102.1-1.deb 2019-01-28 18:37 10M Debian/Ubuntu package
hets-common_0.103.1-1.deb 2019-06-26 15:37 10M Debian/Ubuntu package
hets-common_0.104.1-1.deb 2019-11-21 18:27 10M Debian/Ubuntu package
hets-common_0.105.0-1.deb 2020-12-14 20:30 10M Debian/Ubuntu package
hets-common_0.105.0-3.deb 2020-12-14 21:59 10M Debian/Ubuntu package
hets-common_0.105.1-1.deb 2020-10-18 02:34 10M Debian/Ubuntu package
hets-common_0.106.0-1.deb 2022-07-01 08:25 19M 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-all_1.2.0-1_amd64.deb 2021-04-14 19:31 940 Debian/Ubuntu package
hets-desktop_0.100.1-3.deb 2018-05-16 04:18 15M Debian/Ubuntu package
hets-desktop_0.102.1-1.deb 2019-01-28 18:37 15M Debian/Ubuntu package
hets-desktop_0.103.1-1.deb 2019-06-26 15:37 15M Debian/Ubuntu package
hets-desktop_0.104.1-1.deb 2019-11-21 18:27 15M Debian/Ubuntu package
hets-desktop_0.105.0-1.deb 2020-12-14 20:30 15M Debian/Ubuntu package
hets-desktop_0.105.0-3.deb 2020-12-14 21:59 15M Debian/Ubuntu package
hets-desktop_0.105.1-1.deb 2020-10-18 02:34 15M Debian/Ubuntu package
hets-desktop_0.106.0-1.deb 2022-07-01 08:25 15M Debian/Ubuntu package
hets-libs-0.99.2-2.deb 2019-05-08 14:07 1.7M Debian/Ubuntu package
hets-libs-0.100.0-1.deb 2019-05-09 18:11 1.7M 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-provers_1.2.0-1_amd64.deb 2021-04-14 19:31 1.0K 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-all_1.2.0-1_amd64.deb 2021-04-14 19:31 956 Debian/Ubuntu package
hets-server_0.100.1-3.deb 2018-05-16 04:18 13M Debian/Ubuntu package
hets-server_0.102.1-1.deb 2019-01-28 18:37 13M Debian/Ubuntu package
hets-server_0.103.1-1.deb 2019-06-26 15:37 13M Debian/Ubuntu package
hets-server_0.104.1-1.deb 2019-11-21 18:27 13M Debian/Ubuntu package
hets-server_0.105.0-1.deb 2020-12-14 20:30 13M Debian/Ubuntu package
hets-server_0.105.0-3.deb 2020-12-14 21:59 13M Debian/Ubuntu package
hets-server_0.105.1-1.deb 2020-10-18 02:34 13M Debian/Ubuntu package
hets-server_0.106.0-1.deb 2022-07-01 08:25 14M Debian/Ubuntu package
leo2-1.7.0.1-3.deb 2020-10-29 13:54 778K Debian/Ubuntu package
lex-11-1.deb 2018-04-30 04:01 908 Debian/Ubuntu package
libghc-aterm-dev-0.1.0.1-4.deb 2018-05-05 08:02 165K Debian/Ubuntu package
libghc-aterm-dev-0.1.0.2-1.deb 2020-10-18 06:09 165K Debian/Ubuntu package
libghc-glade-dev-0.13.1-4.deb 2018-05-05 09:28 146K Debian/Ubuntu package
libghc-hexpat-dev-0.20.13-5.deb 2018-05-05 07:50 159K Debian/Ubuntu package
libghc-list-dev-0.6.2-1.deb 2020-10-18 06:14 64K Debian/Ubuntu package
libghc-mysql-dev-0.1.4-5.deb 2018-05-05 10:16 161K Debian/Ubuntu package
libghc-mysql-dev-0.1.7-4.deb 2022-07-01 03:55 165K Debian/Ubuntu package
libghc-mysql-simple-dev-0.4.4-3.deb 2018-05-05 10:18 141K Debian/Ubuntu package
libghc-mysql-simple-dev-0.4.5-2.deb 2022-07-01 03:57 142K Debian/Ubuntu package
libghc-persistent-mysql-dev-2.6.2.1-2.deb 2020-10-19 04:53 92K Debian/Ubuntu package
libghc-persistent-mysql-dev-2.6.2.1-3.deb 2022-07-01 03:58 92K Debian/Ubuntu package
libghc-uni-events-dev-2.2.2.0-1.deb 2018-05-05 08:04 79K Debian/Ubuntu package
libghc-uni-graphs-dev-2.2.1.0-1.deb 2018-05-05 08:08 277K Debian/Ubuntu package
libghc-uni-graphs-dev-2.2.1.1-1.deb 2020-10-18 17:02 277K Debian/Ubuntu package
libghc-uni-htk-dev-2.2.1.3-1.deb 2018-05-05 08:06 1.5M Debian/Ubuntu package
libghc-uni-posixutil-dev-2.2.1.1-1.deb 2018-05-05 08:05 33K Debian/Ubuntu package
libghc-uni-reactor-dev-2.2.1.0-1.deb 2018-05-05 08:05 24K Debian/Ubuntu package
libghc-uni-udrawgraph-dev-2.2.1.3-1.deb 2020-10-20 21:37 208K Debian/Ubuntu package
libghc-uni-util-dev-2.3.0.1-3.deb 2018-05-05 08:04 578K Debian/Ubuntu package
libmilter-8.15.2-3.deb 2018-10-08 08:09 83K Debian/Ubuntu package
libmilter-docs-8.15.2-3.deb 2018-10-08 08:10 84K Debian/Ubuntu package
libnvidia-cfg1-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:14 69K Debian/Ubuntu package
libnvidia-common-418_418.87.01-0ubuntu1_all.deb 2019-10-01 00:14 9.8K Debian/Ubuntu package
libnvidia-compute-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:14 19M Debian/Ubuntu package
libnvidia-compute-525_525.60.13-0ubuntu1_amd64.deb 2022-11-30 23:05 48M Debian/Ubuntu package
libnvidia-decode-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:14 1.2M Debian/Ubuntu package
libnvidia-encode-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:14 47K Debian/Ubuntu package
libnvidia-fbc1-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:14 43K Debian/Ubuntu package
libnvidia-gl-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:14 31M Debian/Ubuntu package
libnvidia-ifr1-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:14 67K Debian/Ubuntu package
libprom-0.9.0-1.deb 2021-03-14 20:36 62K Debian/Ubuntu package
libprom-1.0.0-1.deb 2021-03-27 14:49 63K Debian/Ubuntu package
libprom-1.0.1-1.deb 2021-05-11 01:04 64K Debian/Ubuntu package
libprom-1.1.0-1.deb 2021-06-23 01:02 65K Debian/Ubuntu package
libprom-dev-0.9.0-1.deb 2021-03-14 20:36 490K Debian/Ubuntu package
libprom-dev-1.0.0-1.deb 2021-03-27 14:49 491K Debian/Ubuntu package
libprom-dev-1.0.1-1.deb 2021-05-11 01:04 491K Debian/Ubuntu package
libprom-dev-1.1.0-1.deb 2021-06-23 01:02 492K Debian/Ubuntu package
netbackup-client-7.6.0.2-4.deb 2018-11-08 22:08 72M Debian/Ubuntu package
netbackup-client-svcs-7.6.0.2-4.deb 2018-11-08 22:08 17K Debian/Ubuntu package
netbackup-client-svcs.rpm 2018-11-08 22:08 30K RPM package
netbackup-client.deb 2018-11-08 22:08 72M Debian/Ubuntu package
netbackup-client.rpm 2018-11-08 22:08 125M RPM package
netbackup-jconsole-7.6.0.2-4.deb 2018-11-08 22:09 51M Debian/Ubuntu package
netbackup-jconsole.rpm 2018-11-08 22:08 52M RPM package
netdata-1.19.0-1.deb 2020-01-19 08:19 1.8M Debian/Ubuntu package
node-exporter-1.0.1-1.deb 2021-01-20 07:01 7.7M Debian/Ubuntu package
node-exporter-1.3.0-1.deb 2021-11-21 22:52 7.5M Debian/Ubuntu package
node-exporter-1.3.0.2-1.deb 2021-11-27 15:58 7.5M Debian/Ubuntu package
node-exporter-1.3.1.2-1.deb 2022-08-14 06:34 7.7M Debian/Ubuntu package
node-exporter-1.3.1.3-1.deb 2024-10-18 04:02 8.4M Debian/Ubuntu package
nv-docker-2.0.3.18.09.2-1.deb 2019-05-09 04:42 1.5K Debian/Ubuntu package
nvidia-compute-utils-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:14 72K Debian/Ubuntu package
nvidia-dkms-418-418.40.4.4.15.0.48-1.deb 2019-05-28 06:17 10M Debian/Ubuntu package
nvidia-dkms-418-418.67.0.4.15.0.48-1.deb 2019-05-28 17:55 10M Debian/Ubuntu package
nvidia-dkms-418-418.67.0.4.15.0.50-3.deb 2019-06-01 07:01 10M Debian/Ubuntu package
nvidia-dkms-418-418.67.0.4.15.0.58-3.deb 2019-08-25 03:37 10M Debian/Ubuntu package
nvidia-dkms-418-418.87.0.4.15.0.58-1.deb 2019-08-28 19:22 10M Debian/Ubuntu package
nvidia-dkms-418-418.87.0.4.15.0.65-1.deb 2019-10-08 23:46 10M Debian/Ubuntu package
nvidia-dkms-418-418.87.1.4.15.0.96-1.deb 2020-04-13 19:12 10M Debian/Ubuntu package
nvidia-dkms-470-470.42.1.4.15.0.147-1.deb 2021-07-13 22:40 23M Debian/Ubuntu package
nvidia-dkms-470-470.57.2.4.15.0.154-1.deb 2021-09-03 23:20 23M Debian/Ubuntu package
nvidia-docker2-2.0.3.18.09.2-1.deb 2019-06-02 20:49 4.0K Debian/Ubuntu package
nvidia-driver-418-418.40.04-1.deb 2019-05-28 06:17 387K Debian/Ubuntu package
nvidia-driver-418-418.67-3.deb 2019-08-25 03:37 388K Debian/Ubuntu package
nvidia-driver-418-418.87.1-1.deb 2020-04-13 19:12 389K Debian/Ubuntu package
nvidia-driver-418_418.87.1-1_amd64.deb 2020-04-13 19:12 389K Debian/Ubuntu package
nvidia-driver-470-470.42.1-1.deb 2021-07-13 22:40 423K Debian/Ubuntu package
nvidia-driver-470-470.57.2-1.deb 2021-09-03 23:20 424K Debian/Ubuntu package
nvidia-headless-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:15 6.8K Debian/Ubuntu package
nvidia-headless-no-dkms-418-418.40.04-1.deb 2019-05-28 06:17 1.3K Debian/Ubuntu package
nvidia-headless-no-dkms-418-418.67-3.deb 2019-08-25 03:37 1.3K Debian/Ubuntu package
nvidia-headless-no-dkms-418-418.87.1-1.deb 2020-04-13 19:12 1.3K Debian/Ubuntu package
nvidia-headless-no-dkms-470-470.42.1-1.deb 2021-07-13 22:40 1.3K Debian/Ubuntu package
nvidia-headless-no-dkms-470-470.57.2-1.deb 2021-09-03 23:20 1.3K Debian/Ubuntu package
nvidia-kernel-common-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:15 9.6K Debian/Ubuntu package
nvidia-settings_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:15 943K Debian/Ubuntu package
nvidia-utils-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:15 326K Debian/Ubuntu package
nvidia-utils-525_525.60.13-0ubuntu1_amd64.deb 2022-11-30 23:05 348K Debian/Ubuntu package
nvmex-10-1.0.0-1.deb 2021-05-13 02:17 41K Debian/Ubuntu package
nvmex-10-1.0.1-1.deb 2021-05-19 05:06 41K Debian/Ubuntu package
nvmex-11-1.0.0-1.deb 2021-05-13 02:17 40K Debian/Ubuntu package
nvmex-11-1.0.1-1.deb 2021-05-19 05:06 40K Debian/Ubuntu package
owltools-0.2.1.0.2016.3.10.2-1.deb 2018-05-17 17:24 30M Debian/Ubuntu package
owltools-0.3.0.0.2019.7.1-1.deb 2021-04-14 03:21 34M Debian/Ubuntu package
pellet-2.3.1.2-1.deb 2020-10-10 04:05 12M Debian/Ubuntu package
pkgtools-11.0-2.deb 2018-05-05 00:29 1.9M Debian/Ubuntu package
pkgtools.rpm 2018-05-05 00:29 4.9M RPM package
root-1.2.1-1.deb 2018-05-15 22:03 10K Debian/Ubuntu package
root.deb 2018-05-15 22:03 10K Debian/Ubuntu package
satallax-2.7-1.deb 2020-10-29 13:00 819K Debian/Ubuntu package
sendmail-8.15.2-3.deb 2018-10-08 08:09 1.4M Debian/Ubuntu package
sendmail-docs-8.15.2-3.deb 2018-10-08 08:10 552K Debian/Ubuntu package
sendmail.deb 2018-10-08 08:09 1.4M Debian/Ubuntu package
spass-3.7-4.deb 2018-05-09 18:31 2.2M Debian/Ubuntu package
spass-3.9.0-3.deb 2018-05-10 12:50 4.1M Debian/Ubuntu package
udrawgraph-3.1.1-10.deb 2018-06-06 20:52 3.0M Debian/Ubuntu package
uperf-1.0.7-1.deb 2020-09-17 06:34 180K Debian/Ubuntu package
vampire-4.5.1-3.deb 2021-01-07 05:11 2.6M Debian/Ubuntu package
veeam4-nosnap-4.0.1.2372-1.deb 2021-04-01 01:33 29M Debian/Ubuntu package
veeam5-nosnap-5.0.0.4318-1.deb 2021-04-20 17:46 47M Debian/Ubuntu package
veeam5-nosnap-5.0.0.4318-2.deb 2022-08-14 06:24 47M Debian/Ubuntu package
vmagent-1.51.0-1.deb 2021-01-10 04:42 6.6M Debian/Ubuntu package
vmagent-1.52.0-1.deb 2021-01-13 20:44 6.6M Debian/Ubuntu package
vmagent-1.59.0-1.deb 2021-05-17 03:28 5.5M Debian/Ubuntu package
vmagent-1.62.0-1.deb 2021-07-05 04:51 5.6M Debian/Ubuntu package
vmagent-1.68.0-1.deb 2021-11-01 04:34 5.7M Debian/Ubuntu package
vmagent-1.69.0-1.deb 2021-11-16 03:58 5.7M Debian/Ubuntu package
vmagent-1.74.0-1.deb 2022-03-08 05:37 5.9M Debian/Ubuntu package
vmagent-1.77.1-1.deb 2024-10-18 04:23 6.6M Debian/Ubuntu package
vmagent-1.82.1.20221014.151603-1.deb 2022-10-16 02:59 6.4M Debian/Ubuntu package
vmalert-1.51.0-1.deb 2021-01-10 04:41 5.4M Debian/Ubuntu package
vmalert-1.52.0-1.deb 2021-01-13 20:44 5.4M Debian/Ubuntu package
vmalert-1.59.0-1.deb 2021-05-17 03:28 5.0M Debian/Ubuntu package
vmalert-1.62.0-1.deb 2021-07-05 04:51 5.1M Debian/Ubuntu package
vmalert-1.68.0-1.deb 2021-11-01 04:34 5.2M Debian/Ubuntu package
vmalert-1.69.0-1.deb 2021-11-16 03:58 5.2M Debian/Ubuntu package
vmalert-1.74.0-1.deb 2022-03-08 05:37 5.8M Debian/Ubuntu package
vmalert-1.77.1-1.deb 2024-10-18 04:23 6.8M Debian/Ubuntu package
vmalert-1.82.1.20221014.151603-1.deb 2022-10-16 02:59 6.5M Debian/Ubuntu package
vmauth-1.51.0-1.deb 2021-01-10 04:41 5.0M Debian/Ubuntu package
vmauth-1.52.0-1.deb 2021-01-13 20:44 5.0M Debian/Ubuntu package
vmauth-1.59.0-1.deb 2021-05-17 03:28 4.1M Debian/Ubuntu package
vmauth-1.62.0-1.deb 2021-07-05 04:51 4.1M Debian/Ubuntu package
vmauth-1.68.0-1.deb 2021-11-01 04:34 4.1M Debian/Ubuntu package
vmauth-1.69.0-1.deb 2021-11-16 03:58 4.1M Debian/Ubuntu package
vmauth-1.74.0-1.deb 2022-03-08 05:37 4.3M Debian/Ubuntu package
vmauth-1.77.1-1.deb 2024-10-18 04:23 5.0M Debian/Ubuntu package
vmauth-1.82.1.20221014.151603-1.deb 2022-10-16 02:59 4.5M Debian/Ubuntu package
vmdb-1.51.0-1.deb 2021-01-10 04:41 24M Debian/Ubuntu package
vmdb-1.52.0-1.deb 2021-01-13 20:44 24M Debian/Ubuntu package
vmdb-1.59.0-1.deb 2021-05-17 03:28 29M Debian/Ubuntu package
vmdb-1.62.0-1.deb 2021-07-05 04:51 29M Debian/Ubuntu package
vmdb-1.68.0-1.deb 2021-11-01 04:34 32M Debian/Ubuntu package
vmdb-1.69.0-1.deb 2021-11-16 03:58 32M Debian/Ubuntu package
vmdb-1.74.0-1.deb 2022-03-08 05:37 34M Debian/Ubuntu package
vmdb-1.77.1-1.deb 2024-10-18 04:23 40M Debian/Ubuntu package
vmdb-1.82.1.20221014.151603-1.deb 2022-10-16 02:59 43M Debian/Ubuntu package
xserver-xorg-video-nvidia-418_418.87.01-0ubuntu1_amd64.deb 2019-10-01 00:15 1.5M Debian/Ubuntu package
yices-2.6.2-1.deb 2020-11-01 00:28 1.4M Debian/Ubuntu package
z3-4.8.9-5.deb 2021-01-07 04:06 7.8M Debian/Ubuntu package
z3-dev-48-4.8.9-5.deb 2021-01-07 04:06 723K Debian/Ubuntu package
z3-lib-48-4.8.9-5.deb 2021-01-07 04:06 7.8M Debian/Ubuntu package
zchaff-2008.10.12-1.deb 2020-11-01 04:53 67K Debian/Ubuntu package
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80