notbugIf you buy from Amazon USA, please support us by using this link.
Port details
dlv Disjunctive Datalog System
20121217 lang 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
Restricted RESTRICTED: Not sure if we can redistribute it

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: 2007-06-01 17:19:44
Last Update: 2014-09-18 21:44:32
SVN Revision: 368524
License: not specified in port
DLV is a system for disjunctive datalog with constraints, true negation
and queries.

The DLV system also includes

    * the K planning system,
    * a frontend for abductive diagnosis and Reiter's diagnosis,
    * support for inheritance, and
    * an SQL frontend which prototypes some novel SQL3 features.

WWW: http://www.dlvsystem.com/dlv/
SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (1 items)
  1. bin/dlv
  2. Collapse this list.

Dependency line: dlv>0:lang/dlv


To install the port: cd /usr/ports/lang/dlv/ && make install clean

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted

PKGNAME: dlv

There is no flavor information for this port.

ONLY_FOR_ARCHS: i386 amd64

distinfo:

SHA256 (dlv.i386-linux-elf-static.bin) = 725e4c428f6aec7878f2216cd93d914d84375b395e612090a262ea833e1f27fc
SIZE (dlv.i386-linux-elf-static.bin) = 2031392

There are no ports dependent upon this port


Configuration Options
     No options to configure

Master Sites:
  1. http://www.dlvsystem.com/files/

Number of commits found: 12

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
18 Sep 2014 20:44:32
Original commit files touched by this commit  20121217
Revision:368524
antoine search for other commits by this committer
Allow staging as a regular user
17 Jun 2014 12:18:07
Original commit files touched by this commit  20121217
Revision:358101
vanilla search for other commits by this committer
Stagify.
20 Sep 2013 19:53:10
Original commit files touched by this commit  20121217
Revision:327741
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
10 Mar 2013 07:01:49
Original commit files touched by this commit  20121217
Revision:313812
rm search for other commits by this committer
- update to 20121217
- fix fetch [1]
- remove indefinite article from COMMENT
- tab -> space change in pkg-descr:WWW

PR:		176702
Reported by:	John Marino <draco@marino.st> [1]
21 Jun 2012 13:22:07
Original commit files touched by this commit  20111221
arved search for other commits by this committer
Update to more recent version.

Drop maintainership, i forgot all about dlv :(

Changelog:      http://www.dlvsystem.com/dlvsystem/index.php/Version_history

Reported by:    watermelon@jabber.metalab.at via Jabber
03 Jul 2011 13:45:36
Original commit files touched by this commit  20071011
ohauer search for other commits by this committer
- remove MD5
31 Aug 2009 07:27:27
Original commit files touched by this commit  20071011
arved search for other commits by this committer
Layout of the MASTER_SITE changed. Adjust URLs
12 Dec 2007 12:35:44
Original commit files touched by this commit  20071011
arved search for other commits by this committer
Unbreak by updating to 20071011
Changelog at http://www.dbai.tuwien.ac.at/proj/dlv/
28 Oct 2007 12:45:04
Original commit files touched by this commit  20060714
arved search for other commits by this committer
Mark BROKEN, while i am trying to figure out, why the binary changed.

Reported by:    pointyhat
02 Jun 2007 17:27:15
Original commit files touched by this commit  20060714
arved search for other commits by this committer
Fix "extract" by creating a WRKDIR

Reported by:    pointyhat
01 Jun 2007 18:10:41
Original commit files touched by this commit  20060714
arved search for other commits by this committer
Add dlv to LEGAL, no information about redistribution
01 Jun 2007 17:16:41
Original commit files touched by this commit  20060714
arved search for other commits by this committer
Add dlv, a disjunctive Datalog System

Number of commits found: 12

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
joomla3Jan 20
drupal7Jan 19
drupal8Jan 19
helmJan 18
gitlab-ceJan 17
jenkinsJan 16
jenkins-ltsJan 16
py-matrix-synapseJan 15
irssiJan 10
giteaJan 06
uriparserJan 06
chromiumJan 05
chromiumJan 05
openjpeg*Jan 05
py-django111Jan 05

9 vulnerabilities affecting 54 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-01-20 01:05:52


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 36031
Broken 120
Deprecated 412
Ignore 334
Forbidden 3
Restricted 162
No CDROM 74
Vulnerable 34
Expired 5
Set to expire 385
Interactive 0
new 24 hours 4
new 48 hours7
new 7 days37
new fortnight69
new month162

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