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.
New feature planned: get notified when the package is available. Now is the time to contribute ideas/suggestions.
Port details
dlv Disjunctive Datalog System
20121217 lang 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 20121217Version of this port present on the latest quarterly branch.
Broken BROKEN: unfetchable
Deprecated DEPRECATED: Broken since 2020
Expired This port expired on: 2023-03-20
Ignore IGNORE: is marked as broken: unfetchable
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: 2023-03-19 23:51:43
Commit Hash: 57aa88a
License: dlv
WWW:
https://www.dlvsystem.com/dlv/
Description:
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (4 items)
Collapse this list.
  1. bin/dlv
  2. /usr/local/share/licenses/dlv-20121217/catalog.mk
  3. /usr/local/share/licenses/dlv-20121217/LICENSE
  4. /usr/local/share/licenses/dlv-20121217/dlv
Collapse this list.
Dependency lines:
  • dlv>0:lang/dlv
No installation instructions:
This port has been deleted.
PKGNAME: there is no package for this port: _LICENSE_RESTRICTED = delete-package delete-distfiles
Flavors: 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

No package information for this port in our database
Sometimes this happens. Not all ports have packages.
This port has no dependencies.
There are no ports dependent upon this port

Configuration Options:
No options to configure
Options name:
lang_dlv
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://www.dlvsystem.com/files/
Collapse this list.
Port Moves
  • port deleted on 2023-03-19
    REASON: Has expired: Broken since 2020

Number of commits found: 20

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
20121217
19 Mar 2023 23:51:43
commit hash: 57aa88af6003a73816dc09633c37654fa4737d6dcommit hash: 57aa88af6003a73816dc09633c37654fa4737d6dcommit hash: 57aa88af6003a73816dc09633c37654fa4737d6dcommit hash: 57aa88af6003a73816dc09633c37654fa4737d6d files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
lang/dlv: Remove expired port:

2023-03-20 lang/dlv: Broken since 2020
20121217
20 Feb 2023 15:55:53
commit hash: 3ca52ff0374122ee5220c436a8dfafba7ebf5e2fcommit hash: 3ca52ff0374122ee5220c436a8dfafba7ebf5e2fcommit hash: 3ca52ff0374122ee5220c436a8dfafba7ebf5e2fcommit hash: 3ca52ff0374122ee5220c436a8dfafba7ebf5e2f files touched by this commit
Antoine Brodin (antoine) search for other commits by this committer
lang/dlv: deprecate
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
20121217
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20121217
20 Jul 2022 14:22:15
commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
lang: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Adam Weinberger <adamw@FreeBSD.org>
  *  Akinori MUSHA aka knu <knu@idaemons.org>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Alonso Cardenas Marquez <acm@FreeBSD.org>
  *  Andreas Klemm <andreas@klemm.gtn.com>
  *  Andrew Pantyukhin <infofarmer@FreeBSD.org>
  *  Andrey Zakhvatov
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@tobez.org>
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20121217
06 May 2021 11:47:48
commit hash: 3505159e72da2d8313ce2a8ddc527de700b5bc37commit hash: 3505159e72da2d8313ce2a8ddc527de700b5bc37commit hash: 3505159e72da2d8313ce2a8ddc527de700b5bc37commit hash: 3505159e72da2d8313ce2a8ddc527de700b5bc37 files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Deorbit RESTRICTED && NO_CDROM, part two.

Move ports to the licenses framework.

RESTRICTED → auto-accept (unless expressly stated otherwise)
NO_CDROM → dist-mirror pkg-mirror auto-accept

Differential Revision:  https://reviews.freebsd.org/D30010
20121217
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
20121217
08 Oct 2020 18:01:16
Revision:551724Original commit files touched by this commit
antoine search for other commits by this committer
Mark BROKEN

Reported by:	pkg-fallout
MFH:		2020Q4
20121217
18 Sep 2014 20:44:32
Revision:368524Original commit files touched by this commit
antoine search for other commits by this committer
Allow staging as a regular user
20121217
17 Jun 2014 12:18:07
Revision:358101Original commit files touched by this commit
vanilla search for other commits by this committer
Stagify.
20121217
20 Sep 2013 19:53:10
Revision:327741Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
20121217
10 Mar 2013 07:01:49
Revision:313812Original commit files touched by this commit
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]
20111221
21 Jun 2012 13:22:07
Original commit files touched by this commit
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
20071011
03 Jul 2011 13:45:36
Original commit files touched by this commit
ohauer search for other commits by this committer
- remove MD5
20071011
31 Aug 2009 07:27:27
Original commit files touched by this commit
arved search for other commits by this committer
Layout of the MASTER_SITE changed. Adjust URLs
20071011
12 Dec 2007 12:35:44
Original commit files touched by this commit
arved search for other commits by this committer
Unbreak by updating to 20071011
Changelog at http://www.dbai.tuwien.ac.at/proj/dlv/
20060714
28 Oct 2007 12:45:04
Original commit files touched by this commit
arved search for other commits by this committer
Mark BROKEN, while i am trying to figure out, why the binary changed.

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

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

Number of commits found: 20