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

Two new features

Two new features were added on 2020-05-30:
  1. Repology links - each port now has a link to repology.org. See issue 148 for details.
  2. Ports I maintain report - port maintainers can now subscribe to a daily report of commits to the ports they maintain. See Watch ports I maintain at Report Subscriptions. Details at issue 138
Port details
alt-ergo Automatic solver of mathematical formulas for program verification
0.95.2_2 math 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. 0.95.2_2Version of this port present on the latest quarterly branch.
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: 2011-12-21 02:58:38
Last Update: 2020-05-18 01:58:50
SVN Revision: 535698
License: CeCILL-C
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (12 items)
  1. /usr/local/share/licenses/alt-ergo-0.95.2_2/catalog.mk
  2. /usr/local/share/licenses/alt-ergo-0.95.2_2/LICENSE
  3. /usr/local/share/licenses/alt-ergo-0.95.2_2/CeCILL-C
  4. bin/alt-ergo
  5. bin/altgr-ergo
  6. lib/ocaml/alt-ergo/META
  7. lib/ocaml/alt-ergo/altErgo.cmi
  8. lib/ocaml/alt-ergo/altErgo.cmo
  9. lib/ocaml/alt-ergo/altErgo.cmx
  10. lib/ocaml/alt-ergo/altErgo.o
  11. man/man1/alt-ergo.1.gz
  12. share/gtksourceview-2.0/language-specs/alt-ergo.lang
Collapse this list.
Dependency lines:
  • alt-ergo>0:math/alt-ergo
To install the port: cd /usr/ports/math/alt-ergo/ && make install clean
To add the package: pkg install alt-ergo
PKGNAME: alt-ergo
Flavors: there is no flavor information for this port.
distinfo:
Packages: (move your mouse over the cells for more information)
alt-ergo
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd640.95.2_20.95.2_2
FreeBSD:11:armv6--
FreeBSD:11:i3860.95.2_20.95.2_2
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd640.95.2_20.95.2_2
FreeBSD:12:armv60.95.2_2-
FreeBSD:12:armv7--
FreeBSD:12:i3860.95.2_20.95.2_2
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd640.95.2_2-
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i3860.95.2_2-
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ocaml-zarith>1.2 : math/ocaml-zarith
  2. ocaml-ocamlgraph>1.8 : math/ocaml-ocamlgraph
  3. lablgtk2 : x11-toolkits/ocaml-lablgtk2
  4. ocamlc : lang/ocaml
  5. gmake>=4.3 : devel/gmake
Runtime dependencies:
  1. ocaml-ocamlgraph>1.8 : math/ocaml-ocamlgraph
  2. lablgtk2 : x11-toolkits/ocaml-lablgtk2
  3. ocamlc : lang/ocaml
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
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

USES:

Master Sites:
  1. http://alt-ergo.ocamlpro.com/http/alt-ergo-0.95.2/

Number of commits found: 16

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
18 May 2020 00:58:50
Original commit files touched by this commit  0.95.2_2
Revision:535698
linimon search for other commits by this committer
Mark as BROKEN on powerpc64:

  /tmp/camlasm2822e8.s: Assembler messages:
  /tmp/camlasm2822e8.s:10348: Error: operand out of range (0x000000000000804c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
  /tmp/camlasm2822e8.s:32988: Error: operand out of range (0x000000000000805c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
27 Jun 2016 21:30:34
Original commit files touched by this commit  0.95.2_2
Revision:417685
rene search for other commits by this committer
Reset ports maintained by bf@ until he has time again to work on them.

PR:		210474
Submitted by:	jbeich
With hat:	portmgr-secretary
01 Apr 2016 14:16:20
Original commit files touched by this commit  0.95.2_2
Revision:412348
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
04 May 2015 15:46:52
Original commit files touched by this commit  0.95.2_2
Revision:385413
madpilot search for other commits by this committer
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)
07 Dec 2014 00:07:48
Original commit files touched by this commit  0.95.2_1
Revision:374163
antoine search for other commits by this committer
Canonicalize a few licenses
13 Nov 2014 23:24:01
Original commit files touched by this commit  0.95.2_1
Revision:372546
antoine search for other commits by this committer
Cleanup plist
10 Sep 2014 20:50:37
Original commit files touched by this commit  0.95.2_1
Revision:367888
gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
25 Jun 2014 05:35:32
Original commit files touched by this commit  0.95.2
Revision:359185
bapt search for other commits by this committer
Convert GMAKE to MAKE_CMD
Please note that lots of invocation of MAKE_CMD here are wrong as they do not
properly respect MAKE_ENV and friends

With hat:	portmgr
02 Jun 2014 23:51:07
Original commit files touched by this commit  0.95.2
Revision:356261
marino search for other commits by this committer
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage
26 May 2014 12:28:34
Original commit files touched by this commit  0.94_2
Revision:355316
miwi search for other commits by this committer
- Convert gmake,bzip2 to USES

Approved by:	portmgr
20 Sep 2013 20:55:06
Original commit files touched by this commit  0.94_2
Revision:327746
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
18 Mar 2013 16:11:34
Original commit files touched by this commit  0.94_2
Revision:314582
bf search for other commits by this committer
update master sites; trim headers; reposition LICENSE, WWW
07 Mar 2013 03:46:47
Original commit files touched by this commit  0.94_2
Revision:313560
bf search for other commits by this committer
switch to the new options format
05 Mar 2013 20:22:03
Original commit files touched by this commit  0.94_2
Revision:313476
bf search for other commits by this committer
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
01 Jun 2012 05:26:28
Original commit files touched by this commit  0.94_1

dinoex search for other commits by this committer
- update png to 1.5.10
21 Dec 2011 02:58:24
Original commit files touched by this commit  0.94

bf search for other commits by this committer
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.

Number of commits found: 16

Login
User Login
Create account

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

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
jenkinsAug 12
jenkins-ltsAug 12
chromiumAug 11
puppetdb5Aug 11
bftpdAug 10
apache24*Aug 08
gitlab-ceAug 06
goAug 06
sqlite3*Aug 06
typo3-10Aug 04
typo3-9Aug 04
libX11Aug 01
xephyrAug 01
xorg-dmxAug 01
xorg-nestserverAug 01

13 vulnerabilities affecting 106 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-08-12 14:32:19


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 40306
Broken 88
Deprecated 601
Ignore 323
Forbidden 5
Restricted 147
No CDROM 76
Vulnerable 21
Expired 3
Set to expire 572
Interactive 0
new 24 hours 3
new 48 hours12
new 7 days25
new fortnight67
new month139

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