%FILENAME%
stp-2.3.3-9-aarch64.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-9

%DESC%
Simple Theorem Prover

%CSIZE%
773784

%ISIZE%
2861169

%MD5SUM%
88347a5861b4793af9f17dfd85ab75bf

%SHA256SUM%
96a6d6a4614f9eddb83b67a98d71d8c63e6cb236df989f874031d41b219d432c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRV/ScACgkQdxk/FSvb5qbVsw//TFuH4W3wJhx3J+ROsvhcbmGcpB68qwKkDxhkh/PKnHIrO/13Oo2HPEcPFcf16auP2qPQSHThk+494pS2egFfACSXHIWMQcitoX5KTi/34URmPztilD6MCyGKcnWJONn7uwl0bXQb46mYgp4LaG7ta74j+Auto9mDxK/D6OB5b9H/twwXIqUeNGgoHGh6DfkUtyAIv6Zr+cT32KfRp8Z/11wXkwYKujeh6hzqqJ3cpDjAZJK0Q2r+brhqAGNhaeSo1tXXCHethhk+Wr62FWbY4NNrxT9UyDICr5QouC33lf2mqS37XupFjpXriei6CzP6sLTdlifGj+5MD4/aInMiQp1BpvisGlVZa+t4+A5fllE15Na2mXcWtKZrG25pXkf0u4MqeYziaWzghyq8Cjdh4swXSYeJlYHXUq6wlezHfG+OsKU9r1Pm5MSpTfRMWTkKUO9lE9XyRfczG2gilt3NV/bmmeJNBKkWoAciYa+kqKWGGSYHycASh+7tMPjt3MYHYW84NyIPAJN7dKfA/7uVe6+nSAg5aKJPQ+hd95R7qmvMiypD8XLB68yUEUst2eUeB/b8vgEnJkfVjBM1FzKnHwyAc6oIuQaWy5LR/NEWJ6YWkfJpswROupft9ROX6hmTQWYTw0I+8nUfpDyYLIgeWC6eS/b9Yw3IAO+jPgBV008=

%URL%
https://stp.github.io/

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1683356908

%PACKAGER%
Arch Linux ARM Build System <builder+n1@archlinuxarm.org>

