Antoine Brodin 5cf3a73da7 Bump PORTVREVISION ...

It seems GNAT version changed recently and this port wasn't bumped, leading
to errors like:
error: "dom.ads" and "gprclean-main.adb" compiled with different GNAT versions
error: "dom-core.adb" and "gprclean-main.adb" compiled with different GNAT versions
...

2015-06-28 08:27:31 +00:00

..

files

…

distinfo

…

Makefile

…

pkg-descr

…

pkg-plist

…