Thierry Thomas 115e5a0bb5 Upgrade to 0.1.8. ...

This includes the fixes used to chase the upgrade of Flint.

2020-08-03 17:59:57 +00:00

..

distinfo

Upgrade to 0.1.8.

2020-08-03 17:59:57 +00:00

Makefile

Upgrade to 0.1.8.

2020-08-03 17:59:57 +00:00

pkg-descr

…

pkg-plist

…