Update devel/gnatcoll to version 2014_4
authorDPorts Builder <nobody@home.ok>
Sun, 14 Sep 2014 23:14:49 +0000 (16:14 -0700)
committerDPorts Builder <nobody@home.ok>
Sun, 14 Sep 2014 23:14:49 +0000 (16:14 -0700)
commit1a008d3d8f200a346aaf01dceac7c7a4dc4486d0
treeddf2fce812af460e51f4bb8534d178f262491850
parent5ad67957d110b76cddd76444eeadc7045392f8fc
Update devel/gnatcoll to version 2014_4
devel/gnatcoll/Makefile