5 files changed, 403 insertions, 0 deletions

diff --git a/security/libadacrypt/Makefile b/security/libadacrypt/Makefile
new file mode 100644
index 000000000000..c314f74c96da
--- /dev/null
+++ b/security/libadacrypt/Makefile
@@ -0,0 +1,36 @@
+# Created by: John Marino <marino@FreeBSD.org>
+# $FreeBSD$
+
+PORTNAME=	libadacrypt
+PORTVERSION=	20151019
+CATEGORIES=	security
+
+MAINTAINER=	marino@FreeBSD.org
+COMMENT=	Crypto library for Ada with a nice API
+
+LICENSE=	GMGPL
+LICENSE_FILE=	${WRKSRC}/COPYING
+
+USES=		ada gmake
+USE_GITHUB=	yes
+GH_ACCOUNT=	cforler
+GH_PROJECT=	Ada-Crypto-Library
+GH_TAGNAME=	abc534f
+
+post-patch:
+	@${REINPLACE_CMD} -e 's|libadacrypt-|adacrypt-|' \
+		-e 's|-j4|-j${MAKE_JOBS_NUMBER}|' \
+		${WRKSRC}/libadacrypt.gpr
+
+do-install:
+	@${MKDIR} ${STAGEDIR}${PREFIX}/lib/gnat \
+		${STAGEDIR}${PREFIX}/lib/adacrypt \
+		${STAGEDIR}${PREFIX}/include/adacrypt
+	${INSTALL_DATA} ${WRKSRC}/src/*.ad[bs] \
+		${STAGEDIR}${PREFIX}/include/adacrypt
+	${INSTALL_DATA} ${WRKSRC}/lib/* \
+		${STAGEDIR}${PREFIX}/lib/adacrypt
+	${INSTALL_DATA} ${FILESDIR}/adacrypt.gpr \
+		${STAGEDIR}${PREFIX}/lib/gnat
+
+.include <bsd.port.mk>
diff --git a/security/libadacrypt/distinfo b/security/libadacrypt/distinfo
new file mode 100644
index 000000000000..fc29a42670ae
--- /dev/null
+++ b/security/libadacrypt/distinfo
@@ -0,0 +1,2 @@
+SHA256 (cforler-Ada-Crypto-Library-20151019-abc534f_GH0.tar.gz) = 547f6e913cd6c9e9e18fdbccf7f2cd9f2329a0222cc27c0a88db42feabc2727d
+SIZE (cforler-Ada-Crypto-Library-20151019-abc534f_GH0.tar.gz) = 2693591
diff --git a/security/libadacrypt/files/adacrypt.gpr b/security/libadacrypt/files/adacrypt.gpr
new file mode 100644
index 000000000000..84a30a2fce0b
--- /dev/null
+++ b/security/libadacrypt/files/adacrypt.gpr
@@ -0,0 +1,11 @@
+library project AdaCrypt is
+
+   for Languages use ("Ada");
+
+   for Source_Dirs use ("../../include/adacrypt");
+   for Library_Dir use "../../lib/adacrypt";
+   for Library_Name use "adacrypt";
+   for Library_Kind use "static";
+   for Externally_Built use "True";
+
+end AdaCrypt;
diff --git a/security/libadacrypt/pkg-descr b/security/libadacrypt/pkg-descr
new file mode 100644
index 000000000000..aca16630d033
--- /dev/null
+++ b/security/libadacrypt/pkg-descr
@@ -0,0 +1,21 @@
+This is a crypto library for Ada with a nice API and is written for the
+i386 and x86_64 hardware architecture.
+
+Symmetric cryptography supported:
+  * Blockciphers: AES, Twofish, 3DES, Serpent
+  * Hash functions: SHA-1, SHA-256, SHA-384, SHA-512, Whirlpool
+  * MACs: RMAC, HMAC, CMAC
+  * Modes of operation: BPS, CFB, Ctr, OFB
+  * Authenticated Encryption Schemes: OCB, SIV, McOE
+
+Assymmetric cryptography supported:
+  * DSA signature scheme
+  * OEAP-RSA
+  * ECDSA, ECDH
+
+Unsigned big number library features:
+  * Primary cyclic group arithmetic (Z_p)
+  * Binary Field arithmetic support
+  * Elliptic Curve arithmetic
+
+WWW: https://github.com/cforler/Ada-Crypto-Library
diff --git a/security/libadacrypt/pkg-plist b/security/libadacrypt/pkg-plist
new file mode 100644
index 000000000000..35b68ff14daa
--- /dev/null
+++ b/security/libadacrypt/pkg-plist
@@ -0,0 +1,333 @@
+include/adacrypt/crypto-asymmetric-dh.adb
+include/adacrypt/crypto-asymmetric-dh.ads
+include/adacrypt/crypto-asymmetric-dsa.adb
+include/adacrypt/crypto-asymmetric-dsa.ads
+include/adacrypt/crypto-asymmetric-ecdh.adb
+include/adacrypt/crypto-asymmetric-ecdh.ads
+include/adacrypt/crypto-asymmetric-ecdsa.adb
+include/adacrypt/crypto-asymmetric-ecdsa.ads
+include/adacrypt/crypto-asymmetric-ecies.adb
+include/adacrypt/crypto-asymmetric-ecies.ads
+include/adacrypt/crypto-asymmetric-prime_tables.ads
+include/adacrypt/crypto-asymmetric-rsa.adb
+include/adacrypt/crypto-asymmetric-rsa.ads
+include/adacrypt/crypto-asymmetric.ads
+include/adacrypt/crypto-debug_put.adb
+include/adacrypt/crypto-debug_put.ads
+include/adacrypt/crypto-symmetric-ae-ad.ads
+include/adacrypt/crypto-symmetric-ae.ads
+include/adacrypt/crypto-symmetric-ae_ocb.adb
+include/adacrypt/crypto-symmetric-ae_ocb.ads
+include/adacrypt/crypto-symmetric-aead_mcoe.adb
+include/adacrypt/crypto-symmetric-aead_mcoe.ads
+include/adacrypt/crypto-symmetric-aead_ocb3.adb
+include/adacrypt/crypto-symmetric-aead_ocb3.ads
+include/adacrypt/crypto-symmetric-aead_siv.adb
+include/adacrypt/crypto-symmetric-aead_siv.ads
+include/adacrypt/crypto-symmetric-algorithm-aes-oneway.adb
+include/adacrypt/crypto-symmetric-algorithm-aes-oneway.ads
+include/adacrypt/crypto-symmetric-algorithm-aes-tables.ads
+include/adacrypt/crypto-symmetric-algorithm-aes.adb
+include/adacrypt/crypto-symmetric-algorithm-aes.ads
+include/adacrypt/crypto-symmetric-algorithm-blowfish-oneway.adb
+include/adacrypt/crypto-symmetric-algorithm-blowfish-oneway.ads
+include/adacrypt/crypto-symmetric-algorithm-blowfish-tables.ads
+include/adacrypt/crypto-symmetric-algorithm-blowfish.adb
+include/adacrypt/crypto-symmetric-algorithm-blowfish.ads
+include/adacrypt/crypto-symmetric-algorithm-mmh.adb
+include/adacrypt/crypto-symmetric-algorithm-mmh.ads
+include/adacrypt/crypto-symmetric-algorithm-noob.adb
+include/adacrypt/crypto-symmetric-algorithm-noob.ads
+include/adacrypt/crypto-symmetric-algorithm-serpent-oneway.adb
+include/adacrypt/crypto-symmetric-algorithm-serpent-oneway.ads
+include/adacrypt/crypto-symmetric-algorithm-serpent.adb
+include/adacrypt/crypto-symmetric-algorithm-serpent.ads
+include/adacrypt/crypto-symmetric-algorithm-sha1-oneway.adb
+include/adacrypt/crypto-symmetric-algorithm-sha1-oneway.ads
+include/adacrypt/crypto-symmetric-algorithm-sha1.adb
+include/adacrypt/crypto-symmetric-algorithm-sha1.ads
+include/adacrypt/crypto-symmetric-algorithm-sha256-oneway.adb
+include/adacrypt/crypto-symmetric-algorithm-sha256-oneway.ads
+include/adacrypt/crypto-symmetric-algorithm-sha256.adb
+include/adacrypt/crypto-symmetric-algorithm-sha256.ads
+include/adacrypt/crypto-symmetric-algorithm-sha384-oneway.adb
+include/adacrypt/crypto-symmetric-algorithm-sha384-oneway.ads
+include/adacrypt/crypto-symmetric-algorithm-sha384.adb
+include/adacrypt/crypto-symmetric-algorithm-sha384.ads
+include/adacrypt/crypto-symmetric-algorithm-sha512-oneway.adb
+include/adacrypt/crypto-symmetric-algorithm-sha512-oneway.ads
+include/adacrypt/crypto-symmetric-algorithm-sha512.adb
+include/adacrypt/crypto-symmetric-algorithm-sha512.ads
+include/adacrypt/crypto-symmetric-algorithm-sha_utils.adb
+include/adacrypt/crypto-symmetric-algorithm-sha_utils.ads
+include/adacrypt/crypto-symmetric-algorithm-skein.adb
+include/adacrypt/crypto-symmetric-algorithm-skein.ads
+include/adacrypt/crypto-symmetric-algorithm-threefish.adb
+include/adacrypt/crypto-symmetric-algorithm-threefish.ads
+include/adacrypt/crypto-symmetric-algorithm-tripledes-oneway.adb
+include/adacrypt/crypto-symmetric-algorithm-tripledes-oneway.ads
+include/adacrypt/crypto-symmetric-algorithm-tripledes-tables.ads
+include/adacrypt/crypto-symmetric-algorithm-tripledes.adb
+include/adacrypt/crypto-symmetric-algorithm-tripledes.ads
+include/adacrypt/crypto-symmetric-algorithm-twofish-oneway.adb
+include/adacrypt/crypto-symmetric-algorithm-twofish-oneway.ads
+include/adacrypt/crypto-symmetric-algorithm-twofish-tables.ads
+include/adacrypt/crypto-symmetric-algorithm-twofish.adb
+include/adacrypt/crypto-symmetric-algorithm-twofish.ads
+include/adacrypt/crypto-symmetric-algorithm-whirlpool-oneway.adb
+include/adacrypt/crypto-symmetric-algorithm-whirlpool-oneway.ads
+include/adacrypt/crypto-symmetric-algorithm-whirlpool-tables.ads
+include/adacrypt/crypto-symmetric-algorithm-whirlpool.adb
+include/adacrypt/crypto-symmetric-algorithm-whirlpool.ads
+include/adacrypt/crypto-symmetric-algorithm.ads
+include/adacrypt/crypto-symmetric-blockcipher.adb
+include/adacrypt/crypto-symmetric-blockcipher.ads
+include/adacrypt/crypto-symmetric-blockcipher_aes128.ads
+include/adacrypt/crypto-symmetric-blockcipher_aes192.ads
+include/adacrypt/crypto-symmetric-blockcipher_aes256.ads
+include/adacrypt/crypto-symmetric-blockcipher_blowfish128.ads
+include/adacrypt/crypto-symmetric-blockcipher_noob64.ads
+include/adacrypt/crypto-symmetric-blockcipher_serpent256.ads
+include/adacrypt/crypto-symmetric-blockcipher_tripledes.ads
+include/adacrypt/crypto-symmetric-blockcipher_twofish128.ads
+include/adacrypt/crypto-symmetric-blockcipher_twofish192.ads
+include/adacrypt/crypto-symmetric-blockcipher_twofish256.ads
+include/adacrypt/crypto-symmetric-hashfunction.adb
+include/adacrypt/crypto-symmetric-hashfunction.ads
+include/adacrypt/crypto-symmetric-hashfunction_sha1.ads
+include/adacrypt/crypto-symmetric-hashfunction_sha256.ads
+include/adacrypt/crypto-symmetric-hashfunction_sha384.ads
+include/adacrypt/crypto-symmetric-hashfunction_sha512.ads
+include/adacrypt/crypto-symmetric-hashfunction_skein512.ads
+include/adacrypt/crypto-symmetric-hashfunction_whirlpool.ads
+include/adacrypt/crypto-symmetric-kdf.adb
+include/adacrypt/crypto-symmetric-kdf.ads
+include/adacrypt/crypto-symmetric-kdf_pbkdf2.adb
+include/adacrypt/crypto-symmetric-kdf_pbkdf2.ads
+include/adacrypt/crypto-symmetric-kdf_scrypt.adb
+include/adacrypt/crypto-symmetric-kdf_scrypt.ads
+include/adacrypt/crypto-symmetric-kdf_sha512crypt.adb
+include/adacrypt/crypto-symmetric-kdf_sha512crypt.ads
+include/adacrypt/crypto-symmetric-mac-cmac.adb
+include/adacrypt/crypto-symmetric-mac-cmac.ads
+include/adacrypt/crypto-symmetric-mac-hmac.adb
+include/adacrypt/crypto-symmetric-mac-hmac.ads
+include/adacrypt/crypto-symmetric-mac-hmac_sha1.ads
+include/adacrypt/crypto-symmetric-mac-hmac_sha256.ads
+include/adacrypt/crypto-symmetric-mac-hmac_sha384.ads
+include/adacrypt/crypto-symmetric-mac-hmac_sha512.ads
+include/adacrypt/crypto-symmetric-mac-hmac_whirlpool.ads
+include/adacrypt/crypto-symmetric-mac-rmac.adb
+include/adacrypt/crypto-symmetric-mac-rmac.ads
+include/adacrypt/crypto-symmetric-mac.adb
+include/adacrypt/crypto-symmetric-mac.ads
+include/adacrypt/crypto-symmetric-mode-bps.adb
+include/adacrypt/crypto-symmetric-mode-bps.ads
+include/adacrypt/crypto-symmetric-mode-cbc.adb
+include/adacrypt/crypto-symmetric-mode-cbc.ads
+include/adacrypt/crypto-symmetric-mode-cfb.adb
+include/adacrypt/crypto-symmetric-mode-cfb.ads
+include/adacrypt/crypto-symmetric-mode-ctr.adb
+include/adacrypt/crypto-symmetric-mode-ctr.ads
+include/adacrypt/crypto-symmetric-mode-ofb.adb
+include/adacrypt/crypto-symmetric-mode-ofb.ads
+include/adacrypt/crypto-symmetric-mode-oneway_cfb.adb
+include/adacrypt/crypto-symmetric-mode-oneway_cfb.ads
+include/adacrypt/crypto-symmetric-mode-oneway_ctr.adb
+include/adacrypt/crypto-symmetric-mode-oneway_ctr.ads
+include/adacrypt/crypto-symmetric-mode-oneway_ofb.adb
+include/adacrypt/crypto-symmetric-mode-oneway_ofb.ads
+include/adacrypt/crypto-symmetric-mode.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher.adb
+include/adacrypt/crypto-symmetric-oneway_blockcipher.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_aes128.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_aes192.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_aes256.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_blowfish128.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_serpent256.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_sha1.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_sha256.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_sha384.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_sha512.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_tripledes.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_twofish128.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_twofish192.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_twofish256.ads
+include/adacrypt/crypto-symmetric-oneway_blockcipher_whirlpool.ads
+include/adacrypt/crypto-symmetric-tweakable_blockcipher.ads
+include/adacrypt/crypto-symmetric-tweakable_blockcipher_cmt.adb
+include/adacrypt/crypto-symmetric-tweakable_blockcipher_cmt.ads
+include/adacrypt/crypto-symmetric-tweakable_blockcipher_tx.adb
+include/adacrypt/crypto-symmetric-tweakable_blockcipher_tx.ads
+include/adacrypt/crypto-symmetric-utils.adb
+include/adacrypt/crypto-symmetric-utils.ads
+include/adacrypt/crypto-symmetric.ads
+include/adacrypt/crypto-types-base64.adb
+include/adacrypt/crypto-types-base64.ads
+include/adacrypt/crypto-types-big_numbers-binfield_utils.adb
+include/adacrypt/crypto-types-big_numbers-mod_utils.adb
+include/adacrypt/crypto-types-big_numbers-utils.adb
+include/adacrypt/crypto-types-big_numbers.adb
+include/adacrypt/crypto-types-big_numbers.ads
+include/adacrypt/crypto-types-elliptic_curves-nss_bf.adb
+include/adacrypt/crypto-types-elliptic_curves-nss_bf.ads
+include/adacrypt/crypto-types-elliptic_curves-ss_bf.adb
+include/adacrypt/crypto-types-elliptic_curves-ss_bf.ads
+include/adacrypt/crypto-types-elliptic_curves-zp-database.adb
+include/adacrypt/crypto-types-elliptic_curves-zp-database.ads
+include/adacrypt/crypto-types-elliptic_curves-zp.adb
+include/adacrypt/crypto-types-elliptic_curves-zp.ads
+include/adacrypt/crypto-types-elliptic_curves.adb
+include/adacrypt/crypto-types-elliptic_curves.ads
+include/adacrypt/crypto-types-mutexes.adb
+include/adacrypt/crypto-types-mutexes.ads
+include/adacrypt/crypto-types-nonces-nonces_ctr.adb
+include/adacrypt/crypto-types-nonces-nonces_ctr.ads
+include/adacrypt/crypto-types-nonces-nonces_mixed_1.adb
+include/adacrypt/crypto-types-nonces-nonces_mixed_1.ads
+include/adacrypt/crypto-types-nonces-nonces_mixed_2.adb
+include/adacrypt/crypto-types-nonces-nonces_mixed_2.ads
+include/adacrypt/crypto-types-nonces-nonces_random.adb
+include/adacrypt/crypto-types-nonces-nonces_random.ads
+include/adacrypt/crypto-types-nonces-nonces_randomized_counter.adb
+include/adacrypt/crypto-types-nonces-nonces_randomized_counter.ads
+include/adacrypt/crypto-types-nonces.ads
+include/adacrypt/crypto-types-random.adb
+include/adacrypt/crypto-types-random.ads
+include/adacrypt/crypto-types-random_source-file.adb
+include/adacrypt/crypto-types-random_source-file.ads
+include/adacrypt/crypto-types-random_source-hashfunction.adb
+include/adacrypt/crypto-types-random_source-hashfunction.ads
+include/adacrypt/crypto-types-random_source.adb
+include/adacrypt/crypto-types-random_source.ads
+include/adacrypt/crypto-types.adb
+include/adacrypt/crypto-types.ads
+include/adacrypt/crypto.ads
+lib/adacrypt/crypto-asymmetric-dh.ali
+lib/adacrypt/crypto-asymmetric-dsa.ali
+lib/adacrypt/crypto-asymmetric-ecdh.ali
+lib/adacrypt/crypto-asymmetric-ecdsa.ali
+lib/adacrypt/crypto-asymmetric-ecies.ali
+lib/adacrypt/crypto-asymmetric-prime_tables.ali
+lib/adacrypt/crypto-asymmetric-rsa.ali
+lib/adacrypt/crypto-asymmetric.ali
+lib/adacrypt/crypto-debug_put.ali
+lib/adacrypt/crypto-symmetric-ae-ad.ali
+lib/adacrypt/crypto-symmetric-ae.ali
+lib/adacrypt/crypto-symmetric-ae_ocb.ali
+lib/adacrypt/crypto-symmetric-aead_mcoe.ali
+lib/adacrypt/crypto-symmetric-aead_ocb3.ali
+lib/adacrypt/crypto-symmetric-aead_siv.ali
+lib/adacrypt/crypto-symmetric-algorithm-aes-oneway.ali
+lib/adacrypt/crypto-symmetric-algorithm-aes-tables.ali
+lib/adacrypt/crypto-symmetric-algorithm-aes.ali
+lib/adacrypt/crypto-symmetric-algorithm-blowfish-oneway.ali
+lib/adacrypt/crypto-symmetric-algorithm-blowfish-tables.ali
+lib/adacrypt/crypto-symmetric-algorithm-blowfish.ali
+lib/adacrypt/crypto-symmetric-algorithm-mmh.ali
+lib/adacrypt/crypto-symmetric-algorithm-noob.ali
+lib/adacrypt/crypto-symmetric-algorithm-serpent-oneway.ali
+lib/adacrypt/crypto-symmetric-algorithm-serpent.ali
+lib/adacrypt/crypto-symmetric-algorithm-sha1-oneway.ali
+lib/adacrypt/crypto-symmetric-algorithm-sha1.ali
+lib/adacrypt/crypto-symmetric-algorithm-sha256-oneway.ali
+lib/adacrypt/crypto-symmetric-algorithm-sha256.ali
+lib/adacrypt/crypto-symmetric-algorithm-sha384-oneway.ali
+lib/adacrypt/crypto-symmetric-algorithm-sha384.ali
+lib/adacrypt/crypto-symmetric-algorithm-sha512-oneway.ali
+lib/adacrypt/crypto-symmetric-algorithm-sha512.ali
+lib/adacrypt/crypto-symmetric-algorithm-sha_utils.ali
+lib/adacrypt/crypto-symmetric-algorithm-skein.ali
+lib/adacrypt/crypto-symmetric-algorithm-threefish.ali
+lib/adacrypt/crypto-symmetric-algorithm-tripledes-oneway.ali
+lib/adacrypt/crypto-symmetric-algorithm-tripledes-tables.ali
+lib/adacrypt/crypto-symmetric-algorithm-tripledes.ali
+lib/adacrypt/crypto-symmetric-algorithm-twofish-oneway.ali
+lib/adacrypt/crypto-symmetric-algorithm-twofish-tables.ali
+lib/adacrypt/crypto-symmetric-algorithm-twofish.ali
+lib/adacrypt/crypto-symmetric-algorithm-whirlpool-oneway.ali
+lib/adacrypt/crypto-symmetric-algorithm-whirlpool-tables.ali
+lib/adacrypt/crypto-symmetric-algorithm-whirlpool.ali
+lib/adacrypt/crypto-symmetric-algorithm.ali
+lib/adacrypt/crypto-symmetric-blockcipher.ali
+lib/adacrypt/crypto-symmetric-blockcipher_aes128.ali
+lib/adacrypt/crypto-symmetric-blockcipher_aes192.ali
+lib/adacrypt/crypto-symmetric-blockcipher_aes256.ali
+lib/adacrypt/crypto-symmetric-blockcipher_blowfish128.ali
+lib/adacrypt/crypto-symmetric-blockcipher_noob64.ali
+lib/adacrypt/crypto-symmetric-blockcipher_serpent256.ali
+lib/adacrypt/crypto-symmetric-blockcipher_tripledes.ali
+lib/adacrypt/crypto-symmetric-blockcipher_twofish128.ali
+lib/adacrypt/crypto-symmetric-blockcipher_twofish192.ali
+lib/adacrypt/crypto-symmetric-blockcipher_twofish256.ali
+lib/adacrypt/crypto-symmetric-hashfunction.ali
+lib/adacrypt/crypto-symmetric-hashfunction_sha1.ali
+lib/adacrypt/crypto-symmetric-hashfunction_sha256.ali
+lib/adacrypt/crypto-symmetric-hashfunction_sha384.ali
+lib/adacrypt/crypto-symmetric-hashfunction_sha512.ali
+lib/adacrypt/crypto-symmetric-hashfunction_skein512.ali
+lib/adacrypt/crypto-symmetric-hashfunction_whirlpool.ali
+lib/adacrypt/crypto-symmetric-kdf.ali
+lib/adacrypt/crypto-symmetric-kdf_pbkdf2.ali
+lib/adacrypt/crypto-symmetric-kdf_scrypt.ali
+lib/adacrypt/crypto-symmetric-kdf_sha512crypt.ali
+lib/adacrypt/crypto-symmetric-mac-cmac.ali
+lib/adacrypt/crypto-symmetric-mac-hmac.ali
+lib/adacrypt/crypto-symmetric-mac-hmac_sha1.ali
+lib/adacrypt/crypto-symmetric-mac-hmac_sha256.ali
+lib/adacrypt/crypto-symmetric-mac-hmac_sha384.ali
+lib/adacrypt/crypto-symmetric-mac-hmac_sha512.ali
+lib/adacrypt/crypto-symmetric-mac-hmac_whirlpool.ali
+lib/adacrypt/crypto-symmetric-mac-rmac.ali
+lib/adacrypt/crypto-symmetric-mac.ali
+lib/adacrypt/crypto-symmetric-mode-bps.ali
+lib/adacrypt/crypto-symmetric-mode-cbc.ali
+lib/adacrypt/crypto-symmetric-mode-cfb.ali
+lib/adacrypt/crypto-symmetric-mode-ctr.ali
+lib/adacrypt/crypto-symmetric-mode-ofb.ali
+lib/adacrypt/crypto-symmetric-mode-oneway_cfb.ali
+lib/adacrypt/crypto-symmetric-mode-oneway_ctr.ali
+lib/adacrypt/crypto-symmetric-mode-oneway_ofb.ali
+lib/adacrypt/crypto-symmetric-mode.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_aes128.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_aes192.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_aes256.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_blowfish128.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_serpent256.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_sha1.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_sha256.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_sha384.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_sha512.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_tripledes.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_twofish128.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_twofish192.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_twofish256.ali
+lib/adacrypt/crypto-symmetric-oneway_blockcipher_whirlpool.ali
+lib/adacrypt/crypto-symmetric-tweakable_blockcipher.ali
+lib/adacrypt/crypto-symmetric-tweakable_blockcipher_cmt.ali
+lib/adacrypt/crypto-symmetric-tweakable_blockcipher_tx.ali
+lib/adacrypt/crypto-symmetric-utils.ali
+lib/adacrypt/crypto-symmetric.ali
+lib/adacrypt/crypto-types-base64.ali
+lib/adacrypt/crypto-types-big_numbers.ali
+lib/adacrypt/crypto-types-elliptic_curves-nss_bf.ali
+lib/adacrypt/crypto-types-elliptic_curves-ss_bf.ali
+lib/adacrypt/crypto-types-elliptic_curves-zp-database.ali
+lib/adacrypt/crypto-types-elliptic_curves-zp.ali
+lib/adacrypt/crypto-types-elliptic_curves.ali
+lib/adacrypt/crypto-types-mutexes.ali
+lib/adacrypt/crypto-types-nonces-nonces_ctr.ali
+lib/adacrypt/crypto-types-nonces-nonces_mixed_1.ali
+lib/adacrypt/crypto-types-nonces-nonces_mixed_2.ali
+lib/adacrypt/crypto-types-nonces-nonces_random.ali
+lib/adacrypt/crypto-types-nonces-nonces_randomized_counter.ali
+lib/adacrypt/crypto-types-nonces.ali
+lib/adacrypt/crypto-types-random.ali
+lib/adacrypt/crypto-types-random_source-file.ali
+lib/adacrypt/crypto-types-random_source-hashfunction.ali
+lib/adacrypt/crypto-types-random_source.ali
+lib/adacrypt/crypto-types.ali
+lib/adacrypt/crypto.ali
+lib/adacrypt/libadacrypt-0.8.a
+lib/gnat/adacrypt.gpr