/ubuntu/pool/universe/l/ladr/

0 directories 31 files 6.1 MiB total
List Grid
Name
Size Modified
Up
ladr4-apps_0.0.200911a-2.1_amd64.deb
126 KiB
ladr4-apps_0.0.200911a-2.1_i386.deb
117 KiB
ladr4-apps_0.0.200911a-2.1build1_amd64.deb
134 KiB
ladr4-apps_0.0.200911a-2.1build1_i386.deb
131 KiB
ladr4-apps_0.0.200911a-2_amd64.deb
314 KiB
ladr4-apps_0.0.200911a-2_i386.deb
298 KiB
ladr_0.0.200911a-2.1.debian.tar.xz
19 KiB
ladr_0.0.200911a-2.1.dsc
1.3 KiB
ladr_0.0.200911a-2.1build1.debian.tar.xz
19 KiB
ladr_0.0.200911a-2.1build1.dsc
2.1 KiB
ladr_0.0.200911a-2.debian.tar.gz
22 KiB
ladr_0.0.200911a-2.dsc
1.3 KiB
ladr_0.0.200911a.orig.tar.gz
1.7 MiB
libladr-dev_0.0.200911a-2.1_amd64.deb
248 KiB
libladr-dev_0.0.200911a-2.1_i386.deb
256 KiB
libladr-dev_0.0.200911a-2.1build1_amd64.deb
256 KiB
libladr-dev_0.0.200911a-2.1build1_i386.deb
281 KiB
libladr-dev_0.0.200911a-2_amd64.deb
350 KiB
libladr-dev_0.0.200911a-2_i386.deb
329 KiB
libladr4_0.0.200911a-2.1_amd64.deb
162 KiB
libladr4_0.0.200911a-2.1_i386.deb
182 KiB
libladr4_0.0.200911a-2.1build1_amd64.deb
164 KiB
libladr4_0.0.200911a-2.1build1_i386.deb
185 KiB
libladr4_0.0.200911a-2_amd64.deb
194 KiB
libladr4_0.0.200911a-2_i386.deb
197 KiB
prover9_0.0.200911a-2.1_amd64.deb
74 KiB
prover9_0.0.200911a-2.1_i386.deb
76 KiB
prover9_0.0.200911a-2.1build1_amd64.deb
76 KiB
prover9_0.0.200911a-2.1build1_i386.deb
83 KiB
prover9_0.0.200911a-2_amd64.deb
96 KiB
prover9_0.0.200911a-2_i386.deb
89 KiB