(/ X./props.plist 000644 0 0 01450 0 013352 0 ustar 00root root
architecture
ppc64-musl
homepage
https://coq.inria.fr
installed_size
45449720
license
LGPL-2.1-onlymaintainereah Neukirchen <leah@vuxu.org>pkgnamecoq-dbgver-8.14.1_1run_dependsarray>
/arrayshort_descProof assistant written in OCaml (debug files)version8.14.1_1
./files.plist 000644 60323 0 013315 0 ustar 00root dirdict>
fil /usr
s1638037811