Index of /LNF/linux/ubuntu/15.04

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 LNFeprover/                    2017-09-01 02:01    -   
 LNFhets-libs/                  2016-07-27 17:44    -   
 LNFleo2/                       2015-12-06 18:47    -   
 LNFlex/                        2015-12-05 00:33    -   
 LNFlibmilter-docs/             2016-02-05 02:50    -   
 LNFlibmilter/                  2016-02-05 02:50    -   
 LNFopenam-webagent/            2017-02-21 17:02    -   
 LNFowltools/                   2016-07-27 08:14    -   
 LNFpkgtools/                   2015-12-05 04:51    -   
 LNFroot/                       2017-05-07 17:01    -   
 LNFsatallax/                   2015-12-06 19:20    -   
 LNFsendmail-docs/              2016-02-05 02:50    -   
 LNFsendmail/                   2016-02-05 02:50    -   
 LNFtest/                       2016-03-22 18:10    -   
 LNFzsh/                        2017-01-11 20:52    -   
 Packages.gz                    2021-10-30 02:14  7.9K  GZIP compressed archive
 README                         2018-01-01 17:31  165   
 eprover.deb                    2017-09-01 02:02  3.9M  Debian/Ubuntu package
 hets-common.deb                2017-07-28 16:36   10M  Debian/Ubuntu package
 hets-desktop-all.deb           2016-07-30 02:30  910   Debian/Ubuntu package
 hets-desktop.deb               2017-07-28 16:36  8.5M  Debian/Ubuntu package
 hets-libs.deb                  2016-07-27 17:44  1.7M  Debian/Ubuntu package
 hets-provers.deb               2016-07-30 02:30  956   Debian/Ubuntu package
 hets-server-all.deb            2016-07-30 02:30  920   Debian/Ubuntu package
 hets-server.deb                2017-07-28 16:36  7.5M  Debian/Ubuntu package
 leo2.deb                       2015-12-06 18:47  590K  Debian/Ubuntu package
 lex.deb                        2015-12-05 00:33   79K  Debian/Ubuntu package
 libmilter-docs.deb             2016-02-05 02:50   84K  Debian/Ubuntu package
 libmilter.deb                  2016-02-05 02:50   67K  Debian/Ubuntu package
 openam-webagent.deb            2017-02-21 17:02  503K  Debian/Ubuntu package
 owltools.deb                   2016-07-27 08:15   30M  Debian/Ubuntu package
 pkgtools.deb                   2015-12-05 04:51  1.8M  Debian/Ubuntu package
 pkgtools.rpm                   2015-12-05 04:51  4.5M  RPM package
 root.deb                       2017-05-07 17:01  9.8K  Debian/Ubuntu package
 satallax.deb                   2015-12-06 19:20  825K  Debian/Ubuntu package
 sendmail-docs.deb              2016-02-05 02:50  515K  Debian/Ubuntu package
 sendmail.deb                   2016-02-05 02:50  1.4M  Debian/Ubuntu package
 test.deb                       2016-03-22 18:10  744   Debian/Ubuntu package
 veeam5-nosnap-5.0.0.4318-2.deb 2022-08-14 06:24   47M  Debian/Ubuntu package
 zsh.deb                        2017-01-11 20:52  2.8M  Debian/Ubuntu package