← Retour sur l'intranet
Index of /debian/pool/main/o/openbios/
Index of /debian/pool/main/o/openbios/
../ openbios-ppc_1.1.git20181001-1_all.deb 27-Dec-2018 19:27 129K openbios-sparc_1.1.git20181001-1_all.deb 27-Dec-2018 19:27 161K openbios_1.1.git20181001-1.debian.tar.xz 27-Dec-2018 18:47 5516 openbios_1.1.git20181001-1.dsc 27-Dec-2018 18:47 2187 openbios_1.1.git20181001.orig.tar.xz 27-Dec-2018 18:47 598K