notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Hardware failure

The website is running on the old server. The new server stopped working at about 0200 UTC on 2020-08-22. The database was restored from 2020-08-21 00:59:15+00 UTC. We think we have covered all commits. Nothing should be missing. Any changes you made to your accounts after the restore date will be lost. Sorry about that.
non port: lang/spark/Makefile

Number of commits found XX: 7

Thu, 15 Sep 2016
[ 01:35 marino ] Original commit   Revision:422174
422174 lang/spark/Makefile
422174 math/alt-ergo-spark/Makefile
422174 math/why3-spark/Makefile
Drop spark-related ports for removal after 30 Sept
Fri, 1 Apr 2016
[ 14:08 mat ] Original commit   Revision:412347
412347 hebrew/culmus/Makefile
412347 hebrew/he2/Makefile
412347 irc/anope/Makefile
412347 irc/atheme-services/Makefile
412347 irc/bitlbee/Makefile
412347 irc/ctrlproxy/Makefile
412347 irc/cwirc/Makefile
412347 irc/dxirc/Makefile
412347 irc/epic4/Makefile
412347 irc/ezbounce/Makefile

(Only the first 10 of 481 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
Mon, 29 Feb 2016
[ 19:53 marino ] Original commit   Revision:409825
409825 lang/spark/Makefile
lang/spark: extend expiration by 8 months

I'm still working on this port and I'm chasing down some runtime
segfaults which are not trivial to diagnose and fix.
Sat, 30 Jan 2016
[ 20:20 antoine ] Original commit   Revision:407550
407550 audio/audacious-dumb/Makefile
407550 audio/rezound/Makefile
407550 databases/mysql-workbench52/Makefile
407550 lang/spark/Makefile
407550 net-mgmt/victorops-nagios/Makefile
407550 net/ntopng/Makefile
Deprecate ports broken for more than 6 months
Thu, 10 Dec 2015
[ 20:20 marino ] Original commit   Revision:403466
403466 MOVED
403466 lang/spark/Makefile
403466 math/Makefile
403466 math/why3-gpl
403466 math/why3-spark
403466 math/why3-spark/Makefile
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.
Wed, 24 Jun 2015
[ 20:17 marino ] Original commit   Revision:390517
390517 lang/spark/Makefile
lang/spark: Mark BROKEN until further notice

While spark builds, gnatprove is getting murdered on the testsuite,
including emitting Internal Compiler Errors quite often.  It's not
usable as is and needs more work.
[ 13:32 marino ] Original commit   Revision:390479
390479 devel/gnatcoll/Makefile
390479 lang/Makefile
390479 lang/spark
390479 lang/spark/Makefile
390479 lang/spark/distinfo
390479 lang/spark/files
390479 lang/spark/files/patch-gnat2why_get__targ.adb
390479 lang/spark/files/patch-gnat2why_smissing.c
390479 lang/spark/files/patch-gnat2why_spark_spark__definition.adb
390479 lang/spark/files/patch-gnatvsn.adb

(Only the first 10 of 12 ports in this commit are shown above. View all ports for this commit)
Add new file lang/spark  (will become run-depends for GPS)

SPARK 2014 is a programming language and a set of verification tools
designed to meet the needs of high-assurance software development. SPARK
is based on Ada 2012, both subsetting the language to remove features that
defy verification, but also extending the system of contracts and aspects
to support modular, formal verification.

The new aspects support abstraction and refinement and facilitate deep
static analysis to be performed including information-flow analysis and
formal verification of an implementation against a specification.

SPARK is a much larger and more flexible language than its predecessor
SPARK 2005. The language can be configured to suit a number of application
domains and standards, from server-class high-assurance systems (such as
air-traffic management applications), to embedded, hard real-time,
critical systems (such as avionic systems complying with DO-178C Level A).

A major feature of SPARK is the support for a mixture of proof and other
verification methods such as testing, which facilitates the use of unit
proof in place of unit testing; an approach now formalized in DO-178C and
the DO-333 formal methods supplement. Certain units may be formally proven
and other units validated through testing.

Number of commits found XX: 7

User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
How big is it?
The latest upgrade!

Enter Keywords:

Latest Vulnerabilities
xephyrDec 01
xorg-dmxDec 01
xorg-nestserverDec 01
xorg-serverDec 01
xorg-vfbserverDec 01
xwaylandDec 01
nomadNov 27
giteaNov 21
nodeNov 21
node12Nov 21
node14Nov 21
muttNov 20
mantisNov 14
goNov 12
py-saltNov 12

5 vulnerabilities affecting 48 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-12-02 10:04:43

Deleted ports
Sanity Test Failures

NEW Graphs (Javascript)

Calculated hourly:
Port count 41508
Broken 59
Deprecated 261
Ignore 298
Forbidden 4
Restricted 141
Vulnerable 19
Expired 4
Set to expire 231
Interactive 0
new 24 hours 1
new 48 hours3
new 7 days20
new fortnight61
new month173

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2020 Dan Langille. All rights reserved.