⚙
1 MiB
15 files
0 directories
Index of
/
ubuntu
/pool
/universe
/m
/minisat+/
Filename
Modified
Size
Type
[Parent Directory]
-
-
-
minisat+_1.0-2.debian.tar.gz
12/11/11 09:20
12/11/11
3.9 KiB
[Save]
[Download]
minisat+_1.0-2.dsc
12/11/11 09:20
12/11/11
1.2 KiB
[Save]
[Download]
minisat+_1.0-2_amd64.deb
12/11/11 12:12
12/11/11
176 KiB
[Save]
[Download]
minisat+_1.0-2_i386.deb
12/11/11 12:16
12/11/11
168 KiB
[Save]
[Download]
minisat+_1.0-4.debian.tar.xz
29/04/17 23:58
29/04/17
4.1 KiB
[Save]
[Download]
minisat+_1.0-4.dsc
29/04/17 23:58
29/04/17
1.9 KiB
[Save]
[Download]
minisat+_1.0-4_amd64.deb
30/04/17 01:25
30/04/17
155 KiB
[Save]
[Download]
minisat+_1.0-4_i386.deb
30/04/17 01:29
30/04/17
146 KiB
[Save]
[Download]
minisat+_1.0-4build1.debian.tar.xz
22/03/20 17:10
22/03/20
4.2 KiB
[Save]
[Download]
minisat+_1.0-4build1.dsc
22/03/20 17:10
22/03/20
2 KiB
[Save]
[Download]
minisat+_1.0-4build1_amd64.deb
22/03/20 17:50
22/03/20
139 KiB
[Save]
[Download]
minisat+_1.0.orig.tar.gz
12/11/11 09:20
12/11/11
78.1 KiB
[Save]
[Download]
minisat+_1.0-5.debian.tar.xz
31/10/24 19:11
31/10/24
4.3 KiB
[Save]
[Download]
minisat+_1.0-5.dsc
31/10/24 19:11
31/10/24
1.9 KiB
[Save]
[Download]
minisat+_1.0-5_amd64.deb
31/10/24 20:59
31/10/24
157 KiB
[Save]
[Download]
Page generated in
0.001426
seconds
Browsing
/ubuntu/pool/universe/m/minisat+/
@
mirror.ihost.md