openkylin
/
z3
mirror of https://gitee.com/openkylin/z3.git
9
0
Fork 1
Code Issues Projects Releases Wiki Activity
z3/debian
History
luoyaoming 9f66ac52d6 delete debian/gbp.conf 2024-05-06 21:59:39 +08:00
..
source changed debian/source/format to native 2022-08-15 16:26:58 +08:00
tests Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
changelog 增加架构设置 2024-03-14 08:48:51 +00:00
control 增加架构设置 2024-03-14 08:48:51 +00:00
copyright Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
docs Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
libz3-4.install Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
libz3-dev.install Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
libz3-java.install Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
libz3-java.preinst Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
libz3-jni.install Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
libz3-jni.preinst Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
manpages Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
python3-z3.install Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
rules 增加架构判断 2024-03-14 07:40:18 +00:00
watch Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
z3.1 Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00
z3.install Import Debian changes 4.8.7-ok1 2022-08-15 16:26:40 +08:00