Index of /LNF/linux/ubuntu/22.04
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
LNFaterm-88/ 2022-08-14 23:25 -
LNFbelow/ 2022-11-28 00:48 -
LNFcoturn/ 2023-12-08 20:14 -
LNFcuda-drivers/ 2024-03-26 16:25 -
LNFcvc-47/ 2022-08-14 06:52 -
LNFcvc-dev-47/ 2022-08-14 06:52 -
LNFcvc-libs-47/ 2022-08-14 06:52 -
LNFdarwin/ 2022-08-14 07:18 -
LNFeprover/ 2022-08-14 08:15 -
LNFhaskell-devscripts-minimal/ 2023-07-11 17:16 -
LNFheap-88/ 2023-04-06 16:00 -
LNFhets-libs/ 2022-10-09 06:48 -
LNFhexpat-88/ 2023-07-11 20:50 -
LNFipmimex/ 2022-08-14 03:21 -
LNFlex/ 2022-08-13 09:55 -
LNFlibmilter-docs/ 2022-08-13 23:36 -
LNFlibmilter/ 2022-08-13 23:36 -
LNFlibprom-dev/ 2023-11-16 22:14 -
LNFlibprom/ 2023-11-16 22:14 -
LNFlist-88/ 2022-08-14 23:24 -
LNFmysql-88/ 2023-07-11 21:38 -
LNFmysql-simple-88/ 2023-07-11 21:17 -
LNFnode-exporter/ 2024-01-14 01:48 -
LNFnvidia-dkms-535/ 2024-03-26 16:25 -
LNFnvidia-dkms-545/ 2024-01-11 04:06 -
LNFnvidia-driver-535/ 2024-03-26 16:25 -
LNFnvidia-driver-545/ 2024-01-11 04:07 -
LNFnvidia-headless-no-dkms-535/ 2024-03-26 16:25 -
LNFnvidia-headless-no-dkms-545/ 2024-01-11 04:07 -
LNFoomd/ 2022-08-14 06:29 -
LNFowltools/ 2022-08-14 06:02 -
LNFpellet/ 2022-08-14 04:30 -
LNFpersistent-mysql-88/ 2023-07-11 21:32 -
LNFpkgtools/ 2022-08-14 03:51 -
LNFrelation-88/ 2022-09-16 08:07 -
LNFroot/ 2022-08-13 23:39 -
LNFsatallax/ 2022-08-14 08:17 -
LNFsendmail-docs/ 2022-08-13 23:36 -
LNFsendmail/ 2022-08-13 23:36 -
LNFslurm-base/ 2023-10-13 01:49 -
LNFslurm-contribs/ 2023-10-13 01:49 -
LNFslurm-ctld/ 2023-10-13 01:49 -
LNFslurm-d/ 2023-10-13 01:50 -
LNFslurm-dbd/ 2023-10-13 01:50 -
LNFslurm-dev/ 2023-10-13 01:50 -
LNFslurm-doc/ 2023-10-13 01:50 -
LNFslurm-lib-39/ 2023-10-13 01:50 -
LNFslurm-libpmi/ 2023-10-13 01:50 -
LNFslurm-misc-accounting/ 2023-10-13 01:50 -
LNFslurm-pam/ 2023-10-13 01:50 -
LNFslurm-perlapi/ 2023-10-13 01:50 -
LNFslurm-restd/ 2023-10-13 01:50 -
LNFslurm-sview/ 2023-10-13 01:50 -
LNFslurm-torque/ 2023-10-13 01:50 -
LNFsnmp-export-cfg/ 2022-08-14 06:19 -
LNFsnmp-export/ 2022-08-14 06:19 -
LNFspass/ 2022-08-14 08:44 -
LNFuni-events-88/ 2023-07-11 21:26 -
LNFuni-graphs-88/ 2023-07-12 23:33 -
LNFuni-htk-88/ 2023-07-12 23:14 -
LNFuni-posixutil-88/ 2023-07-11 21:59 -
LNFuni-reactor-88/ 2023-07-12 22:53 -
LNFuni-udrawgraph-88/ 2023-07-13 00:17 -
LNFuni-util-88/ 2022-08-15 06:42 -
LNFvampire/ 2022-08-14 09:14 -
LNFvmagent/ 2022-08-14 06:35 -
LNFvmalert/ 2022-08-14 06:35 -
LNFvmauth/ 2022-08-14 06:35 -
LNFvmdb/ 2022-08-14 06:35 -
LNFvtecapture/ 2023-12-19 15:41 -
LNFxeno-88/ 2023-01-25 05:00 -
LNFyices/ 2022-08-14 09:08 -
LNFz3-dev-48/ 2022-09-16 20:26 -
LNFz3-lib-48/ 2022-09-16 20:26 -
LNFz3/ 2022-09-16 20:26 -
LNFzchaff/ 2023-07-13 16:40 -
veeam5-nosnap/ 2022-08-14 06:23 -
![[ ]](/icons/compressed.gif)
Packages.gz 2024-03-26 16:25 34K GZIP compressed archive
![[ ]](/icons/bomb.gif)
below-0.6.3-1.deb 2022-11-28 00:49 4.5M Debian/Ubuntu package
coturn-4.6.2.1-1.deb 2023-12-08 20:14 1.1M Debian/Ubuntu package
cuda-drivers-535.86.10-1.deb 2024-01-13 01:11 1.3K Debian/Ubuntu package
cuda-drivers-535.104.12-1.deb 2023-10-15 18:01 1.3K Debian/Ubuntu package
cuda-drivers-535.161.8-1.deb 2024-03-26 16:25 1.3K Debian/Ubuntu package
cuda-drivers-545.23.8-1.deb 2024-01-11 04:07 1.3K Debian/Ubuntu package
cvc-47-1.8.0-3.deb 2022-08-14 06:52 69K Debian/Ubuntu package
cvc-dev-47-1.8.0-3.deb 2022-08-14 06:52 107K Debian/Ubuntu package
cvc-libs-47-1.8.0-3.deb 2022-08-14 06:52 6.3M Debian/Ubuntu package
darwin-1.4.5-4.deb 2022-08-14 07:18 847K Debian/Ubuntu package
eprover-2.5-2.deb 2022-08-14 08:15 1.7M Debian/Ubuntu package
haskell-devscripts-minimal-0.16.2.1-1.deb 2023-07-11 17:16 39K Debian/Ubuntu package
hets-common_0.108.0-1.deb 2022-10-09 04:09 19M Debian/Ubuntu package
hets-desktop-all_1.2.9-1_amd64.deb 2022-10-09 04:17 936 Debian/Ubuntu package
hets-desktop_0.108.0-1.deb 2022-10-09 04:09 15M Debian/Ubuntu package
hets-libs-0.108.0-1.deb 2022-10-09 06:48 1.7M Debian/Ubuntu package
hets-provers_1.2.9-1_amd64.deb 2022-10-09 04:17 1.0K Debian/Ubuntu package
hets-server-all_1.2.9-1_amd64.deb 2022-10-09 04:17 948 Debian/Ubuntu package
hets-server_0.108.0-1.deb 2022-10-09 04:09 14M Debian/Ubuntu package
ipmimex-1.0.0-1.deb 2022-08-14 03:21 81K Debian/Ubuntu package
lex-11-1.deb 2022-08-13 09:55 94K Debian/Ubuntu package
libghc-aterm-dev-0.1.0.2-3.deb 2022-08-14 23:25 98K Debian/Ubuntu package
libghc-heap-dev-1.0.4-1.deb 2023-04-06 16:00 40K Debian/Ubuntu package
libghc-hexpat-dev-0.20.13-9.deb 2023-07-10 18:31 169K Debian/Ubuntu package
libghc-hexpat-dev-0.20.13-10.deb 2023-07-11 20:50 169K Debian/Ubuntu package
libghc-list-dev-0.6-1.deb 2023-01-25 04:51 148K Debian/Ubuntu package
libghc-list-dev-0.6.2-5.deb 2022-08-14 23:24 47K Debian/Ubuntu package
libghc-mysql-dev-0.1.7-6.deb 2023-07-11 21:38 170K Debian/Ubuntu package
libghc-mysql-simple-dev-0.4.5-4.deb 2023-07-11 21:17 133K Debian/Ubuntu package
libghc-persistent-mysql-dev-2.9.0-4.deb 2022-08-15 07:03 1.0K Debian/Ubuntu package
libghc-persistent-mysql-dev-2.10.2.3-4.deb 2023-07-11 21:32 94K Debian/Ubuntu package
libghc-relation-dev-0.5.2.0-1.deb 2022-09-16 08:07 21K Debian/Ubuntu package
libghc-uni-events-dev-2.2.2.1-6.deb 2023-07-11 21:26 82K Debian/Ubuntu package
libghc-uni-graphs-dev-2.2.1.2-2.deb 2023-07-12 23:33 281K Debian/Ubuntu package
libghc-uni-htk-dev-2.2.1.3-4.deb 2023-07-12 23:14 1.5M Debian/Ubuntu package
libghc-uni-posixutil-dev-2.2.1.1-4.deb 2023-07-11 21:59 34K Debian/Ubuntu package
libghc-uni-reactor-dev-2.2.1.0-4.deb 2023-07-12 22:53 24K Debian/Ubuntu package
libghc-uni-udrawgraph-dev-2.2.1.4-3.deb 2023-07-13 00:17 214K Debian/Ubuntu package
libghc-uni-util-dev-2.3.0.3-5.deb 2022-08-15 06:42 414K Debian/Ubuntu package
libghc-xeno-dev-0.6-1.deb 2023-01-25 05:00 148K Debian/Ubuntu package
libmilter-8.15.2-3.deb 2022-08-13 23:36 76K Debian/Ubuntu package
libmilter-docs-8.15.2-3.deb 2022-08-13 23:36 84K Debian/Ubuntu package
libprom-1.1.1-1.deb 2022-08-14 02:19 71K Debian/Ubuntu package
libprom-1.2.0-1.deb 2023-11-16 22:14 72K Debian/Ubuntu package
libprom-dev-1.1.1-1.deb 2022-08-14 02:19 429K Debian/Ubuntu package
libprom-dev-1.2.0-1.deb 2023-11-16 22:14 430K 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-01-14 01:48 7.7M Debian/Ubuntu package
nvidia-dkms-535-535.86.10.5.15.0.86-1.deb 2023-10-13 20:57 42M Debian/Ubuntu package
nvidia-dkms-535-535.86.10.5.15.0.91-1.deb 2024-01-13 01:11 42M Debian/Ubuntu package
nvidia-dkms-535-535.104.12.5.15.0.86-1.deb 2023-10-15 18:01 42M Debian/Ubuntu package
nvidia-dkms-535-535.161.8.5.15.0.101-1.deb 2024-03-26 16:25 42M Debian/Ubuntu package
nvidia-dkms-545-545.23.8.5.15.0.91-1.deb 2024-01-11 04:07 41M Debian/Ubuntu package
nvidia-driver-535-535.86.10-1.deb 2024-01-13 01:11 460K Debian/Ubuntu package
nvidia-driver-535-535.104.12-1.deb 2023-10-15 18:01 461K Debian/Ubuntu package
nvidia-driver-535-535.161.8-1.deb 2024-03-26 16:25 463K Debian/Ubuntu package
nvidia-driver-545-545.23.8-1.deb 2024-01-11 04:07 465K Debian/Ubuntu package
nvidia-headless-no-dkms-535-535.86.10-1.deb 2024-01-13 01:11 1.3K Debian/Ubuntu package
nvidia-headless-no-dkms-535-535.104.12-1.deb 2023-10-15 18:01 1.3K Debian/Ubuntu package
nvidia-headless-no-dkms-535-535.161.8-1.deb 2024-03-26 16:25 1.3K Debian/Ubuntu package
nvidia-headless-no-dkms-545-545.23.8-1.deb 2024-01-11 04:07 1.3K Debian/Ubuntu package
oomd-0.5.0.1-1.deb 2022-08-14 06:29 264K Debian/Ubuntu package
owltools-0.3.0.0.2019.7.1.1.1-1.deb 2022-08-14 06:02 34M Debian/Ubuntu package
pellet-2.3.1.3-2.deb 2022-08-14 04:31 12M Debian/Ubuntu package
pkgtools-11.0-2.deb 2022-08-14 03:51 1.9M Debian/Ubuntu package
pkgtools.rpm 2022-08-14 03:51 5.3M RPM package
root-1.2.1-1.deb 2022-08-13 23:39 10K Debian/Ubuntu package
satallax-2.7-2.deb 2022-08-14 08:17 1.1K Debian/Ubuntu package
sendmail-8.15.2-3.deb 2022-08-13 23:36 1.5M Debian/Ubuntu package
sendmail-docs-8.15.2-3.deb 2022-08-13 23:36 551K Debian/Ubuntu package
sendmail.deb 2022-08-13 23:36 1.5M Debian/Ubuntu package
slurm-base-23.2.2-1.deb 2023-05-31 20:59 8.3M Debian/Ubuntu package
slurm-base-23.2.4-1.deb 2023-08-09 18:25 8.4M Debian/Ubuntu package
slurm-base-23.2.5-1.deb 2023-09-22 04:49 8.4M Debian/Ubuntu package
slurm-base-23.2.6-1.deb 2023-10-13 01:49 8.4M Debian/Ubuntu package
slurm-contribs-23.2.2-1.deb 2023-05-31 20:59 16K Debian/Ubuntu package
slurm-contribs-23.2.4-1.deb 2023-08-09 18:25 16K Debian/Ubuntu package
slurm-contribs-23.2.5-1.deb 2023-09-22 04:49 16K Debian/Ubuntu package
slurm-contribs-23.2.6-1.deb 2023-10-13 01:49 16K Debian/Ubuntu package
slurm-ctld-23.2.2-1.deb 2023-05-31 20:59 1.5M Debian/Ubuntu package
slurm-ctld-23.2.4-1.deb 2023-08-09 18:25 1.5M Debian/Ubuntu package
slurm-ctld-23.2.5-1.deb 2023-09-22 04:49 1.5M Debian/Ubuntu package
slurm-ctld-23.2.6-1.deb 2023-10-13 01:50 1.5M Debian/Ubuntu package
slurm-d-23.2.2-1.deb 2023-05-31 20:59 594K Debian/Ubuntu package
slurm-d-23.2.4-1.deb 2023-08-09 18:25 596K Debian/Ubuntu package
slurm-d-23.2.5-1.deb 2023-09-22 04:49 596K Debian/Ubuntu package
slurm-d-23.2.6-1.deb 2023-10-13 01:50 596K Debian/Ubuntu package
slurm-dbd-23.2.2-1.deb 2023-05-31 20:59 643K Debian/Ubuntu package
slurm-dbd-23.2.4-1.deb 2023-08-09 18:25 643K Debian/Ubuntu package
slurm-dbd-23.2.5-1.deb 2023-09-22 04:49 643K Debian/Ubuntu package
slurm-dbd-23.2.6-1.deb 2023-10-13 01:50 643K Debian/Ubuntu package
slurm-dev-23.2.2-1.deb 2023-05-31 20:59 65K Debian/Ubuntu package
slurm-dev-23.2.4-1.deb 2023-08-09 18:25 65K Debian/Ubuntu package
slurm-dev-23.2.5-1.deb 2023-09-22 04:49 65K Debian/Ubuntu package
slurm-dev-23.2.6-1.deb 2023-10-13 01:50 65K Debian/Ubuntu package
slurm-doc-23.2.2-1.deb 2023-05-31 20:59 1.9M Debian/Ubuntu package
slurm-doc-23.2.4-1.deb 2023-08-09 18:25 1.9M Debian/Ubuntu package
slurm-doc-23.2.5-1.deb 2023-09-22 04:49 1.9M Debian/Ubuntu package
slurm-doc-23.2.6-1.deb 2023-10-13 01:50 1.9M Debian/Ubuntu package
slurm-lib-39-23.2.2-1.deb 2023-05-31 21:00 2.4M Debian/Ubuntu package
slurm-lib-39-23.2.4-1.deb 2023-08-09 18:25 2.4M Debian/Ubuntu package
slurm-lib-39-23.2.5-1.deb 2023-09-22 04:49 2.4M Debian/Ubuntu package
slurm-lib-39-23.2.6-1.deb 2023-10-13 01:50 2.4M Debian/Ubuntu package
slurm-libpmi-23.2.2-1.deb 2023-05-31 21:00 84K Debian/Ubuntu package
slurm-libpmi-23.2.4-1.deb 2023-08-09 18:26 84K Debian/Ubuntu package
slurm-libpmi-23.2.5-1.deb 2023-09-22 04:49 84K Debian/Ubuntu package
slurm-libpmi-23.2.6-1.deb 2023-10-13 01:50 84K Debian/Ubuntu package
slurm-misc-accounting-23.2.2-1.deb 2023-05-31 21:00 135K Debian/Ubuntu package
slurm-misc-accounting-23.2.4-1.deb 2023-08-09 18:26 135K Debian/Ubuntu package
slurm-misc-accounting-23.2.5-1.deb 2023-09-22 04:49 135K Debian/Ubuntu package
slurm-misc-accounting-23.2.6-1.deb 2023-10-13 01:50 138K Debian/Ubuntu package
slurm-pam-23.2.2-1.deb 2023-05-31 21:00 36K Debian/Ubuntu package
slurm-pam-23.2.4-1.deb 2023-08-09 18:26 36K Debian/Ubuntu package
slurm-pam-23.2.5-1.deb 2023-09-22 04:49 36K Debian/Ubuntu package
slurm-pam-23.2.6-1.deb 2023-10-13 01:50 36K Debian/Ubuntu package
slurm-perlapi-23.2.2-1.deb 2023-05-31 21:00 502K Debian/Ubuntu package
slurm-perlapi-23.2.4-1.deb 2023-08-09 18:26 503K Debian/Ubuntu package
slurm-perlapi-23.2.5-1.deb 2023-09-22 04:49 503K Debian/Ubuntu package
slurm-perlapi-23.2.6-1.deb 2023-10-13 01:50 502K Debian/Ubuntu package
slurm-restd-23.2.2-1.deb 2023-05-31 21:00 67K Debian/Ubuntu package
slurm-restd-23.2.4-1.deb 2023-08-09 18:26 67K Debian/Ubuntu package
slurm-restd-23.2.5-1.deb 2023-09-22 04:50 67K Debian/Ubuntu package
slurm-restd-23.2.6-1.deb 2023-10-13 01:50 67K Debian/Ubuntu package
slurm-sview-23.2.2-1.deb 2023-05-31 21:00 436K Debian/Ubuntu package
slurm-sview-23.2.4-1.deb 2023-08-09 18:26 436K Debian/Ubuntu package
slurm-sview-23.2.5-1.deb 2023-09-22 04:50 436K Debian/Ubuntu package
slurm-sview-23.2.6-1.deb 2023-10-13 01:50 436K Debian/Ubuntu package
slurm-torque-23.2.2-1.deb 2023-05-31 21:00 43K Debian/Ubuntu package
slurm-torque-23.2.4-1.deb 2023-08-09 18:26 43K Debian/Ubuntu package
slurm-torque-23.2.5-1.deb 2023-09-22 04:50 43K Debian/Ubuntu package
slurm-torque-23.2.6-1.deb 2023-10-13 01:51 43K Debian/Ubuntu package
snmp-export-2.0.0-1.deb 2022-08-14 06:19 7.7M Debian/Ubuntu package
snmp-export-cfg-2.0.0-1.deb 2022-08-14 06:19 9.6M Debian/Ubuntu package
udrawgraph-3.1.1-11.deb 2022-10-04 16:38 3.0M Debian/Ubuntu package
vampire-4.5.1-3.deb 2022-08-14 09:14 2.6M Debian/Ubuntu package
veeam5-nosnap-5.0.0.4318-2.deb 2022-08-14 06:24 47M Debian/Ubuntu package
vmagent-1.77.1-1.deb 2022-08-14 06:36 6.2M Debian/Ubuntu package
vmalert-1.77.1-1.deb 2022-08-14 06:36 6.2M Debian/Ubuntu package
vmauth-1.77.1-1.deb 2022-08-14 06:36 4.5M Debian/Ubuntu package
vmdb-1.77.1-1.deb 2022-08-14 06:35 37M Debian/Ubuntu package
vtecapture-1.0-1.deb 2023-12-19 15:41 11K Debian/Ubuntu package
yices-2.6.2-2.deb 2022-08-14 09:09 1.3M Debian/Ubuntu package
z3-4.8.9-5.deb 2022-08-14 09:00 8.2M Debian/Ubuntu package
z3-4.8.9-6.deb 2022-09-16 20:26 8.2M Debian/Ubuntu package
z3-dev-48-4.8.9-5.deb 2022-08-14 09:00 685K Debian/Ubuntu package
z3-dev-48-4.8.9-6.deb 2022-09-16 20:26 685K Debian/Ubuntu package
z3-lib-48-4.8.9-5.deb 2022-08-14 09:00 8.2M Debian/Ubuntu package
z3-lib-48-4.8.9-6.deb 2022-09-16 20:26 8.2M Debian/Ubuntu package
zchaff-2008.10.12.1-1.deb 2023-07-13 16:41 64K Debian/Ubuntu package
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80