Index of /packages/z/z3-codeplex
Name
Last modified
Size
Description
Parent Directory
-
z3-codeplex-4.5.0-1-x86_64.pkg.tar.xz
2018-04-13 19:22
11M
z3-codeplex-4.5.0-1-x86_64.pkg.tar.xz.sig
2018-04-13 19:23
543
z3-codeplex-4.5.0-2-aarch64.pkg.tar.xz
2018-04-13 19:21
9.0M
z3-codeplex-4.5.0-2-aarch64.pkg.tar.xz.sig
2018-04-13 19:23
566
z3-codeplex-4.5.0-2-armv6h.pkg.tar.xz
2018-04-13 19:20
8.0M
z3-codeplex-4.5.0-2-armv6h.pkg.tar.xz.sig
2018-04-13 19:23
566
z3-codeplex-4.5.0-2-i686.pkg.tar.xz
2018-04-13 19:21
11M
z3-codeplex-4.5.0-2-i686.pkg.tar.xz.sig
2018-04-13 19:23
566
z3-codeplex-4.7.1-1-aarch64.pkg.tar.xz
2018-06-11 21:00
11M
z3-codeplex-4.7.1-1-aarch64.pkg.tar.xz.sig
2018-06-11 21:00
566
z3-codeplex-4.7.1-1-armv6h.pkg.tar.xz
2018-06-11 21:00
9.5M
z3-codeplex-4.7.1-1-armv6h.pkg.tar.xz.sig
2018-06-11 21:00
566
z3-codeplex-4.7.1-1-armv7h.pkg.tar.xz
2018-06-11 21:00
9.5M
z3-codeplex-4.7.1-1-i686.pkg.tar.xz
2018-06-11 21:00
14M
z3-codeplex-4.7.1-1-i686.pkg.tar.xz.sig
2018-06-11 21:00
566
z3-codeplex-4.7.1-1-x86_64.pkg.tar.xz
2018-06-11 21:00
12M
z3-codeplex-4.7.1-1-x86_64.pkg.tar.xz.sig
2018-06-11 21:00
566
Apache/2.4.18 (Ubuntu) Server at archive.as.arlm.tyzoid.com Port 80