There has been a fair amount of activity for Ada in the FreeBSD Ports
collection. Two new ports have been added:
- libsparkcrypto - Cryptographic library implemented in SPARK security/libsparkcrypto
- matreshka - Ada framework for information systems development devel/matreshka
Some existing ports have been updated:
- xmlada was updated from version 4.2 to 4.4
- gtkada was updated from version 2.22 to 2.24.4
- Gnat Programming Studio was updated from version 5.0.1 to 5.2.1
More Ada ports will be coming soon!