mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-23 09:10:43 +00:00
612b236c0f
GPRBuild build is now hosted on github, so we can move away from the yearly releases and update more frequently. Unfortunately the docs makefile is currently broken so docs are disabled currently. When they come back, only txt and html docs will be supported. This new version detected a missing reference in the template-parser port so that port has been fixed and the downstream ports bumped accordingly. It also discovered an interface specification issue in a designer example of qtada. I spent a few minutes trying to fix/workaround it, but ultimately marked it broken. I will also deprecate the port because it no development has occurred since the port was created, and it's not even based on a real release. We'll see if anybody cares (3 month deprecation).
4 lines
205 B
Plaintext
4 lines
205 B
Plaintext
TIMESTAMP = 1465501253
|
|
SHA256 (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = c595767f69cca960d5f0f7bfa5f7bdcfb2fcba11822432e87f1eef52cfb68fab
|
|
SIZE (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = 958175
|