| Port details on branch 2022Q3 |
- libsparkcrypto Cryptographic library implemented in SPARK
- 0.1.1_5 security
 =0      0.1.1_5Version of this port present on the latest quarterly branch.  BROKEN: unfetchable
 DEPRECATED: Unfetchable, unmaintained
 This port expired on: 2019-10-16
 IGNORE: is marked as broken: unfetchable
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2013-07-01 16:36:19
- Last Update: 2019-10-16 15:29:32
- SVN Revision: 514601
- License: BSD3CLAUSE
- WWW:
- http://senier.net/libsparkcrypto/
- Description:
- libsparkcrypto is a formally verified implementation of several widely used
symmetric cryptographic algorithms using the SPARK programming language and
toolset. For the complete library proofs of the absence of run-time errors
like type range violations, division by zero and numerical overflows are
available. Some of its subprograms include proofs of partial correctness.
The distribution contains test cases for all implemented algorithms and a
benchmark to compare its performance with the OpenSSL library. The achieved
speed has been found to be very close to the optimized C and Assembler
implementations of OpenSSL.
WWW: http://senier.net/libsparkcrypto/
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- libsparkcrypto>0:security/libsparkcrypto
- No installation instructions:
- This port has been deleted.
- PKGNAME: libsparkcrypto
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (libsparkcrypto-0.1.1.tgz) = 47582d6910b8c5bb46df51d0e76c27e6fa2b13e8ab73fb4ae0f1d9f7cbd7aa6a
SIZE (libsparkcrypto-0.1.1.tgz) = 101491
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- adabrowse : textproc/adabrowse
- ada : lang/gcc6-aux
- gmake : devel/gmake
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for libsparkcrypto-0.1.1_5:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- N/A
- USES:
- ada dos2unix gmake tar:tgz
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.