| Port details |
- alt-ergo-spark Automatic solver for SPARK 2015
- 2015 math
 =0      2015Version of this port present on the latest quarterly branch.  DEPRECATED: Only useful for deprecate lang/spark
 This port expired on: 2016-09-30
- 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: 2015-06-28 08:43:24
- Last Update: 2016-09-30 20:31:51
- SVN Revision: 423021
- License: CeCILL-C
- WWW:
- https://forge.open-do.org/projects/spark2014
- Description:
- This is a component of SPARK 2015: Those looking for the automatic
theorem prover known as Alt-Ergo should refer to math/alt-ergo instead
WWW: https://forge.open-do.org/projects/spark2014
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- alt-ergo-spark>0:math/alt-ergo-spark
- No installation instructions:
- This port has been deleted.
- PKGNAME: alt-ergo-spark
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 56e70ee8d7b67e95945c156ff80833e45612882605a163a779b7d11ea01f6fbf
SIZE (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 230073
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ocaml-zarith>1.2 : math/ocaml-zarith
- ocaml-ocamlgraph>1.8 : math/ocaml-ocamlgraph
- ocamlc : lang/ocaml
- gmake : devel/gmake
- Runtime dependencies:
-
- ocaml-ocamlgraph>1.8 : math/ocaml-ocamlgraph
- ocamlc : lang/ocaml
- Patch dependencies:
-
- ocamlc : lang/ocaml
-
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- USES:
- gmake
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 4
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2015
30 Sep 2016 20:31:51
  |
rene |
Remove expired ports:
2016-09-30 math/why3-spark: Only useful for deprecated lang/spark
2016-09-30 lang/spark: Broken for more than 6 months
2016-09-30 math/alt-ergo-spark: Only useful for deprecate lang/spark
2016-09-30 security/nessus-libnasl: Abandoned, consider using OpenVAS
2016-09-30 security/nessus: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-libraries: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-plugins: Abandoned, consider using OpenVAS |
2015
15 Sep 2016 01:35:58
|
marino |
Drop spark-related ports for removal after 30 Sept |
2015
01 Apr 2016 14:16:20
|
mat |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
2015
28 Jun 2015 08:38:47
|
marino |
Add new port math/alt-ergo-spark (required by SPARK 2015)
This will be RUN_DEPENDS for lang/spark when it is fixed. The "stock"
math/alt-ergo cannot be used, it locks up when gnatprove calls it. |
Number of commits found: 4
|
As an Amazon Associate I earn from qualifying purchases.