- updated to 8.00.02
authorJakub Bogusz <qboosh@pld-linux.org>
Fri, 10 Sep 2021 20:58:56 +0000 (22:58 +0200)
committerJakub Bogusz <qboosh@pld-linux.org>
Fri, 10 Sep 2021 20:58:56 +0000 (22:58 +0200)
commitd4aacc8e65498312e1ce54787a73c5fa4848d1e3
tree7e70d4aec46162d422148c89a0c3b26d6ca582e4
parent66fe221c8006f5468d7d538d0badfccb6399c223
- updated to 8.00.02
- removed obsolete DESTDIR patch
DESTDIR.patch [deleted file]
camlp5.spec
This page took 0.224254 seconds and 4 git commands to generate.