notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

FInally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combinatio for a given watch list. This is what FreshPorts will look for.

Port details
why3-spark Component of SPARK 2016
2016 math Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2016Version of this port present on the latest quarterly branch.
Deprecated DEPRECATED: Only useful for deprecated lang/spark
Expired 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 search for ports maintained by this maintainer
Port Added: 2015-12-10 20:20:31
Last Update: 2016-09-30 20:31:51
SVN Revision: 423021
License: LGPL21 GPLv3
WWW:
http://www.spark-2014.org/
Description:
This is a component of SPARK 2016. Those looking for the deductive program verification platform known as why3 should refer to math/why3 instead. WWW: http://www.spark-2014.org/
Homepage    cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb

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:
  • why3-spark>0:math/why3-spark
No installation instructions:
This port has been deleted.
PKGNAME: why3-spark
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1465729881 SHA256 (why3-for-spark-gpl-2016-src.tar.gz) = 09e1161d7ff4a1974ff22a2e09d4ceb2ab125d6de4863c13371e212e0e50b19c SIZE (why3-for-spark-gpl-2016-src.tar.gz) = 8740369

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:
  1. menhir : devel/menhir
  2. ocaml-zip>1 : archivers/ocaml-zip
  3. ocaml-zarith>1.2 : math/ocaml-zarith
  4. lablgtk2 : x11-toolkits/ocaml-lablgtk2
  5. ocaml-sqlite3>2 : databases/ocaml-sqlite3
  6. ocaml-ocamlgraph>1.8 : math/ocaml-ocamlgraph
  7. camlp5o : devel/ocaml-camlp5
  8. ocamlc : lang/ocaml
  9. gmake : devel/gmake
  10. msgfmt : devel/gettext-tools
Runtime dependencies:
  1. ocamlc : lang/ocaml
Library dependencies:
  1. libfontconfig.so : x11-fonts/fontconfig
  2. libfreetype.so : print/freetype2
  3. libintl.so : devel/gettext-runtime
  4. libatk-1.0.so : accessibility/atk
  5. libcairo.so : graphics/cairo
  6. libgdk_pixbuf-2.0.so : graphics/gdk-pixbuf2
  7. libglib-2.0.so : devel/glib20
  8. libgtk-x11-2.0.so : x11-toolkits/gtk20
  9. libgtksourceview-2.0.so : x11-toolkits/gtksourceview2
  10. libxml2.so : textproc/libxml2
  11. libpango-1.0.so : x11-toolkits/pango
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
NOTE: dependencies for deleted ports are notoriously suspect
This port is required by:
for Run

Deleted ports which required this port:

Expand this list of 1 deleted port
  1. lang/spark*
  2. Collapse this list of deleted ports.
* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

Configuration Options:
No options to configure
Options name:
N/A
USES:
gmake gettext gnome
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://downloads.dragonlace.net/src/
Collapse this list.

Number of commits found: 8

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2016
30 Sep 2016 20:31:51
Revision:423021Original commit files touched by this commit
rene search for other commits by this committer
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
2016
15 Sep 2016 01:35:58
Revision:422174Original commit files touched by this commit
marino search for other commits by this committer
Drop spark-related ports for removal after 30 Sept
2016
13 Jun 2016 20:04:52
Revision:416867Original commit files touched by this commit
marino search for other commits by this committer
math/why3-spark: Try to fix build on F10

CC was defined twice in the makefile; once by the ${CC} variable
and later redefined to "gcc".  FreeBSD 10 doesn't like that.
2016
12 Jun 2016 13:11:48
Revision:416799Original commit files touched by this commit
marino search for other commits by this committer
math/why3-spark: Update COMMENT
2016
12 Jun 2016 13:09:22
Revision:416798Original commit files touched by this commit
marino search for other commits by this committer
math/why3-spark: Upgrade version 2015 => 2016 (unbreaks)
2015
01 Apr 2016 14:16:20
Revision:412348Original commit files touched by this commit
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
2015
23 Jan 2016 08:18:24
Revision:406962Original commit files touched by this commit
marino search for other commits by this committer
math/why3-spark: Mark BROKEN (broken by ocaml changes)
2015
10 Dec 2015 20:20:22
Revision:403466Original commit files touched by this commit
marino search for other commits by this committer
Move math/why3-gpl => math/why3-spark

There are two reasons to rename this port.
1) Upstream never liked it and requested -spark be the suffix instead
2) An ongoing attempt to fix lang/spark may result in a number of slave
   ports with a -spark suffix, so this keeps up consistency as all of
   these ports only exist to support that port.

Number of commits found: 8