Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
aspcud
54
package(s) known
Alpine Linux 3.8
community
aspcud
1.9.1 (1.9.1-r0)
Summary:
Package dependency solver
Maintainer:
anil@recoil.org
License:
LGPL-3.0
Package-related links:
Package details
Homepage:
http://potassco.sourceforge.net/
4
6
Alpine Linux 3.8
community
aspcud-doc
1.9.1 (1.9.1-r0)
Summary:
Package dependency solver (documentation)
Maintainer:
anil@recoil.org
License:
LGPL-3.0
Package-related links:
Package details
Homepage:
http://potassco.sourceforge.net/
4
6
Alpine Linux 3.9
community
aspcud
1.9.4 (1.9.4-r0)
Summary:
Package dependency solver
Maintainer:
anil@recoil.org
License:
MIT
Package-related links:
Package details
Homepage:
https://potassco.org/aspcud/
4
6
Alpine Linux 3.9
community
aspcud-doc
1.9.4 (1.9.4-r0)
Summary:
Package dependency solver (documentation)
Maintainer:
anil@recoil.org
License:
MIT
Package-related links:
Package details
Homepage:
https://potassco.org/aspcud/
4
6
Alpine Linux 3.10
community
aspcud
1.9.4 (1.9.4-r1)
Summary:
Package dependency solver
Maintainer:
anil@recoil.org
License:
MIT
Package-related links:
Package details
Homepage:
https://potassco.org/aspcud/
4
6
Alpine Linux 3.10
community
aspcud-doc
1.9.4 (1.9.4-r1)
Summary:
Package dependency solver (documentation)
Maintainer:
anil@recoil.org
License:
MIT
Package-related links:
Package details
Homepage:
https://potassco.org/aspcud/
4
6
Alpine Linux 3.11
community
aspcud
1.9.4 (1.9.4-r1)
Summary:
Package dependency solver
Maintainer:
anil@recoil.org
License:
MIT
Package-related links:
Package details
Homepage:
https://potassco.org/aspcud/
4
6
Alpine Linux 3.11
community
aspcud-doc
1.9.4 (1.9.4-r1)
Summary:
Package dependency solver (documentation)
Maintainer:
anil@recoil.org
License:
MIT
Package-related links:
Package details
Homepage:
https://potassco.org/aspcud/
4
6
Alpine Linux 3.12
community
aspcud
1.9.4 (1.9.4-r3)
Summary:
Package dependency solver
Maintainer:
anil@recoil.org
License:
MIT
Package-related links:
Package details
Homepage:
https://potassco.org/aspcud/
4
6
Alpine Linux 3.12
community
aspcud-doc
1.9.4 (1.9.4-r3)
Summary:
Package dependency solver (documentation)
Maintainer:
anil@recoil.org
License:
MIT
Package-related links:
Package details
Homepage:
https://potassco.org/aspcud/
4
6
Alpine Linux Edge
community
aspcud
1.9.4 (1.9.4-r7)
Summary:
Package dependency solver
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Package-related links:
Package details
Homepage:
https://potassco.org/aspcud/
4
6
Alpine Linux Edge
community
aspcud-doc
1.9.4 (1.9.4-r7)
Summary:
Package dependency solver (documentation)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Package-related links:
Package details
Homepage:
https://potassco.org/aspcud/
4
6
AOSC
aspcud
1.9.4 (1.9.4-2)
Summary:
CUDF solver based on Answer Set Programming
Maintainer:
fallback-mnt-aosc@repology
Category:
libs
Package-related links:
Package details
Package sources on GitHub
Apertis v2020
v2020/development
aspcud
1.9.4 (1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
main
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Apertis v2021 Development
v2021dev3/development
aspcud
1.9.4 (1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
main
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
AUR
aspcud
1.9.4 (1.9.4-4)
Summary:
Solver for package dependencies
Maintainer:
kendfinger@aur
License:
GPL3
Package-related links:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
https://potassco.org/aspcud
4
6
AUR
aspcud-svn
r8385 (r8385-1)
Summary:
Solver for package dependencies
Maintainer:
fallback-mnt-aur@repology
License:
GPL3
Package-related links:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
http://potassco.sourceforge.net/
4
6
Debian Oldstable
oldstable/main
aspcud
1.9.1 (1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
admin
Package-related links:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Debian Stable
stable/main
aspcud
1.9.4 (1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
admin
Package-related links:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Debian Testing
testing/main
aspcud
1.9.4 (1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Package-related links:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
https://potassco.org/aspcud/
4
6
Debian Unstable
main
aspcud
1.9.4 (1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Package-related links:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
https://potassco.org/aspcud/
4
6
Deepin
main
aspcud
1.9.4 (1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Devuan 1.0 (Jessie)
jessie/main
aspcud
1.9.0 (1:1.9.0-2)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Devuan 2.0 (ASCII)
ascii/main
aspcud
1.9.1 (1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Devuan 3.0 (Beowulf)
beowulf/main
aspcud
1.9.4 (1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Devuan 4.0 (Chimaera)
chimaera/main
aspcud
1.9.4 (1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
https://potassco.org/aspcud/
4
6
Devuan Unstable
unstable/main
aspcud
1.9.4 (1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
https://potassco.org/aspcud/
4
6
DPorts
math/aspcud
1.9.4 (1.9.4_7)
Summary:
Advanced solver for package dependencies
Maintainer:
vsevolod@freebsd.org
Category:
math
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
https://potassco.org/aspcud/
4
6
FreeBSD Ports
math/aspcud
1.9.4 (1.9.4_7)
Summary:
Advanced solver for package dependencies
Maintainer:
vsevolod@freebsd.org
Category:
math
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
https://potassco.org/aspcud/
4
6
Homebrew
aspcud
1.9.5
Summary:
Package dependency solver
Package-related links:
Formula page
Formula code on GitHub
Homepage:
https://potassco.org/aspcud/
4
6
Hyperbola
community
aspcud
1.9.1 (1.9.1-1)
Summary:
Solver for package dependencies
License:
GPL3
Package-related links:
Package search on hyperbola.info.nu
Homepage:
http://potassco.sourceforge.net/
4
6
Kali Linux Rolling
main
aspcud
1.9.4 (1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Package-related links:
Git repository
Homepage:
https://potassco.org/aspcud/
4
6
Linuxbrew
aspcud
1.9.5
Summary:
Package dependency solver
Package-related links:
Formula page
Formula code on GitHub
Homepage:
https://potassco.org/aspcud/
4
6
MacPorts
aspcud
1.9.1
Summary:
CUDF package dependency solver
Maintainer:
nomaintainer@macports.org
Category:
devel
License:
GPL-3
Package-related links:
Port page on MacPorts.org
Port directory in GitHub repository
Homepage:
http://potassco.sourceforge.net/
4
6
nixpkgs stable
aspcud
1.9.4
Summary:
Solver for package problems in CUDF format using ASP
Maintainer:
hakuch@gmail.com
License:
GPL-3.0-or-later
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
https://potassco.org/aspcud/
4
6
nixpkgs unstable
aspcud
1.9.4
Summary:
Solver for package problems in CUDF format using ASP
Maintainer:
hakuch@gmail.com
License:
GPL-3.0-or-later
Package-related links:
Package source
Homepage:
https://potassco.org/aspcud/
4
6
Pardus 17
main
aspcud
1.9.1 (1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Pardus 19
main
aspcud
1.9.4 (1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Parrot
main
aspcud
1.9.4 (1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
https://potassco.org/aspcud/
4
6
PureOS Amber
aspcud
1.9.4 (1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
misc
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
PureOS landing
aspcud
1.9.4 (1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
misc
Homepage:
https://potassco.org/aspcud/
4
6
Raspbian Oldstable
main
aspcud
1.9.1 (1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Raspbian Stable
main
aspcud
1.9.4 (1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Raspbian Testing
main
aspcud
1.9.4 (1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Homepage:
https://potassco.org/aspcud/
4
6
Trisquel 6.0
toutatis/main
aspcud
2011.03.17 (2011.03.17.dfsg-3)
Maintainer:
treinen@debian.org
Category:
universe/admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Trisquel 7.0
belenos/main
aspcud
1.8.0 (1:1.8.0-2)
Maintainer:
treinen@debian.org
Category:
universe/admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Trisquel 8.0
flidas/main
aspcud
1.9.1 (1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
universe/admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Trisquel 9.0
etiona/main
aspcud
1.9.4 (1:1.9.4-1)
Maintainer:
treinen@debian.org
Category:
universe/admin
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Ubuntu 12.04
precise/universe
aspcud
2011.03.17 (2011.03.17.dfsg-3)
Maintainer:
treinen@debian.org
Category:
universe/admin
Package-related links:
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Ubuntu 14.04
trusty/universe
aspcud
1.8.0 (1:1.8.0-2)
Maintainer:
treinen@debian.org
Category:
universe/admin
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Ubuntu 16.04
xenial/universe
aspcud
1.9.1 (1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
universe/admin
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Ubuntu 18.04
bionic/universe
aspcud
1.9.4 (1:1.9.4-1)
Maintainer:
treinen@debian.org
Category:
universe/admin
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Ubuntu 20.04
focal/universe
aspcud
1.9.4 (1:1.9.4-2build1)
Maintainer:
treinen@debian.org
Category:
universe/admin
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)
Ubuntu 20.10
groovy/universe
aspcud
1.9.4 (1:1.9.4-2build1)
Maintainer:
treinen@debian.org
Category:
universe/admin
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://www.cs.uni-potsdam.de/wv/aspcud/
4
6
(archive)