Index of /pub/linux/distributions/debian/pool/main/r/rev-plugins

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rev-plugins_0.7.1.orig.tar.bz22014-03-09 16:50 20K 
[   ]rev-plugins_0.7.1-3_ppc64el.deb2016-12-24 11:14 16K 
[   ]rev-plugins_0.8.1-1_ppc64el.deb2022-10-11 00:58 16K 
[   ]rev-plugins_0.7.1-3+b1_amd64.deb2019-08-07 10:27 15K 
[   ]rev-plugins_0.8.1-1+b1_riscv64.deb2024-02-21 13:47 15K 
[   ]rev-plugins_0.7.1-3_mips64el.deb2016-12-24 13:15 15K 
[   ]rev-plugins_0.8.1-1+b1_arm64.deb2024-10-28 11:54 15K 
[   ]rev-plugins_0.8.1-1_mips64el.deb2022-10-11 03:59 15K 
[   ]rev-plugins_0.8.1-1_i386.deb2022-10-11 00:12 15K 
[   ]rev-plugins_0.8.1-1_amd64.deb2022-10-11 00:12 15K 
[   ]rev-plugins_0.8.1.orig.tar.bz22022-10-10 23:36 15K 
[   ]rev-plugins_0.7.1-3_i386.deb2016-12-24 10:59 15K 
[   ]rev-plugins_0.8.1-1_arm64.deb2022-10-11 00:12 14K 
[   ]rev-plugins_0.7.1-3_arm64.deb2016-12-24 10:59 14K 
[   ]rev-plugins_0.7.1-3_amd64.deb2016-12-24 10:24 14K 
[   ]rev-plugins_0.8.1-1_armel.deb2022-10-11 00:27 14K 
[   ]rev-plugins_0.7.1-3_armel.deb2016-12-24 11:14 13K 
[   ]rev-plugins_0.7.1-3_armhf.deb2016-12-24 11:29 13K 
[   ]rev-plugins_0.8.1-1_armhf.deb2022-10-11 00:12 13K 
[   ]rev-plugins_0.8.1-1.debian.tar.xz2022-10-10 23:36 3.5K 
[   ]rev-plugins_0.7.1-3.debian.tar.xz2016-12-24 10:24 3.1K 
[TXT]rev-plugins_0.7.1-3.dsc2016-12-24 10:24 2.0K 
[TXT]rev-plugins_0.8.1-1.dsc2022-10-10 23:36 2.0K 

Apache/2 Server at ftp.lyx.org Port 80