Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
aspcud
75
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
redir
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
redir
Alpine Linux 3.9
community
aspcud
1.9.4
(1.9.4-r0)
Summary:
Package dependency solver
Maintainer:
anil@recoil.org
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.10
community
aspcud
1.9.4
(1.9.4-r1)
Summary:
Package dependency solver
Maintainer:
anil@recoil.org
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.11
community
aspcud
1.9.4
(1.9.4-r1)
Summary:
Package dependency solver
Maintainer:
anil@recoil.org
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.12
community
aspcud
1.9.4
(1.9.4-r3)
Summary:
Package dependency solver
Maintainer:
anil@recoil.org
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.13
community
aspcud
1.9.4
(1.9.4-r6)
Summary:
Package dependency solver
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.13
community
aspcud-doc
1.9.4
(1.9.4-r6)
Summary:
Package dependency solver (documentation)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.14
community
aspcud
1.9.4
(1.9.4-r8)
Summary:
Package dependency solver
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.14
community
aspcud-doc
1.9.4
(1.9.4-r8)
Summary:
Package dependency solver (documentation)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.15
community
aspcud
1.9.5
(1.9.5-r0)
Summary:
Package dependency solver
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.15
community
aspcud-doc
1.9.5
(1.9.5-r0)
Summary:
Package dependency solver (documentation)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.16
community
aspcud
1.9.6
(1.9.6-r1)
Summary:
Package dependency solver
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.16
community
aspcud-doc
1.9.6
(1.9.6-r1)
Summary:
Package dependency solver (documentation)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.17
community
aspcud
1.9.6
(1.9.6-r4)
Summary:
Package dependency solver
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.17
community
aspcud-doc
1.9.6
(1.9.6-r4)
Summary:
Package dependency solver (documentation)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux Edge
community
aspcud
1.9.6
(1.9.6-r5)
Summary:
Package dependency solver
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux Edge
community
aspcud-doc
1.9.6
(1.9.6-r5)
Summary:
Package dependency solver (documentation)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
AOSC
aspcud
1.9.6
Summary:
CUDF solver based on Answer Set Programming
Maintainer:
fallback-mnt-aosc@repology
Category:
libs
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Apertis v2020
v2020/development
aspcud
1.9.4
(1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
main
Link(s):
Upstream homepage
dead
(see archive.org)
Apertis v2021
v2021/development
aspcud
1.9.4
(1:1.9.4-2co1)
Maintainer:
treinen@debian.org
Category:
main
Link(s):
Upstream homepage
dead
(see archive.org)
Apertis v2022
v2022/development
aspcud
1.9.4
(1:1.9.4-3apertis0)
Maintainer:
treinen@debian.org
Category:
main
Link(s):
Upstream homepage
ok
,
no IPv6
Apertis v2023 Development
v2023dev1/development
aspcud
1.9.4
(1:1.9.4-3apertis0)
Maintainer:
treinen@debian.org
Category:
main
Link(s):
Upstream homepage
ok
,
no IPv6
AUR
aspcud
1.9.6
(1.9.6-1)
Summary:
Solver for package dependencies
Maintainer:
xuanruiqi@aur
License:
GPL3
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
redir
,
no IPv6
AUR
aspcud-svn
r8385
(r8385-1)
Summary:
Solver for package dependencies
Maintainer:
fallback-mnt-aur@repology
License:
GPL3
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
redir
Debian 8
jessie/main
aspcud
1.9.0
(1:1.9.0-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Package sources
ok
Package issue tracker
ok
Package statistics
ok
Upstream homepage
dead
(see archive.org)
Debian 9
stretch/main
aspcud
1.9.1
(1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package statistics
ok
Upstream homepage
dead
(see archive.org)
Debian 10
buster/main
aspcud
1.9.4
(1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
dead
(see archive.org)
Debian 11
bullseye/main
aspcud
1.9.4
(1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 12
bookworm/main
aspcud
1.9.6
(1:1.9.6-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian Janitor - Snapshots
aspcud
1.9.6
(1:1.9.6-1~jan+nus1)
Maintainer:
treinen@debian.org
Link(s):
Package page
redir
,
no IPv6
Build log (raw)
dead
(see archive.org)
Package sources
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Debian Unstable
sid/main
aspcud
1.9.6
(1:1.9.6-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Deepin
main
aspcud
1.9.4
(1:1.9.4-2)
Maintainer:
treinen@debian.org
Link(s):
Upstream homepage
dead
(see archive.org)
Devuan 1.0
jessie/main
aspcud
1.9.0
(1:1.9.0-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
dead
(see archive.org)
Devuan 2.0
ascii/main
aspcud
1.9.1
(1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
dead
(see archive.org)
Devuan 3.0
beowulf/main
aspcud
1.9.4
(1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
dead
(see archive.org)
Devuan 4.0
chimaera/main
aspcud
1.9.4
(1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan Unstable
unstable/main
aspcud
1.9.6
(1:1.9.6-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
ok
,
no IPv6
Gentoo overlay GURU
sci-mathematics/aspcud
1.9.6
Summary:
A solver for package problems in CUDF format
Maintainer:
lssndrbarbieri@gmail.com
Category:
sci-mathematics
License:
MIT
Link(s):
Package page
ok
,
no IPv6
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Homebrew
aspcud
1.9.6
Summary:
Package dependency solver
Link(s):
Package page
ok
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Kali Linux Rolling
main
aspcud
1.9.6
(1:1.9.6-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
ok
,
no IPv6
LiGurOS stable
sci-mathematics/aspcud
1.9.6
Summary:
A solver for package problems in CUDF format
Maintainer:
lssndrbarbieri@gmail.com
Category:
sci-mathematics
License:
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
LiGurOS develop
sci-mathematics/aspcud
1.9.6
Summary:
A solver for package problems in CUDF format
Maintainer:
lssndrbarbieri@gmail.com
Category:
sci-mathematics
License:
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
MacPorts
aspcud
1.9.5
Summary:
CUDF package dependency solver
Maintainer:
nomaintainer@macports.org
Category:
devel
License:
MIT
Link(s):
Package page
ok
,
no IPv6
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Package issue tracker
ok
Package statistics
ok
,
no IPv6
Package build status
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 21.11
aspcud
1.9.5
Summary:
Solver for package problems in CUDF format using ASP
Maintainer:
hakuch@gmail.com
License:
GPL-3.0-or-later
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.05
aspcud
1.9.5
Summary:
Solver for package problems in CUDF format using ASP
Maintainer:
hakuch@gmail.com
License:
GPL-3.0-or-later
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.11
aspcud
1.9.6
Summary:
Solver for package problems in CUDF format using ASP
Maintainer:
hakuch@gmail.com
License:
GPL-3.0-or-later
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs unstable
aspcud
1.9.6
Summary:
Solver for package problems in CUDF format using ASP
Maintainer:
hakuch@gmail.com
License:
GPL-3.0-or-later
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Pardus 17
main
aspcud
1.9.1
(1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
dead
(see archive.org)
Pardus 19
main
aspcud
1.9.4
(1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
dead
(see archive.org)
Pardus 21
main
aspcud
1.9.4
(1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot-updates/main
aspcud
1.9.4
(1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot/main
aspcud
1.9.4
(1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
ok
,
no IPv6
PureOS Amber
aspcud
1.9.4
(1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
PureOS landing
aspcud
1.9.4
(1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Oldstable
main
aspcud
1.9.4
(1:1.9.4-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
dead
(see archive.org)
Raspbian Stable
main
aspcud
1.9.4
(1:1.9.4-3)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Testing
main
aspcud
1.9.6
(1:1.9.6-2)
Maintainer:
treinen@debian.org
Category:
admin
Link(s):
Upstream homepage
ok
,
no IPv6
Spack
aspcud
1.9.5
Maintainer:
fallback-mnt-spack@repology
Link(s):
Package page
redir
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
redir
,
no IPv6
Upstream download
ok
,
no IPv6
Trisquel 6.0
toutatis/main
aspcud
2011.03.17.dfsg
(2011.03.17.dfsg-3)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Upstream homepage
dead
(see archive.org)
Trisquel 7.0
belenos/main
aspcud
1.8.0
(1:1.8.0-2)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Upstream homepage
dead
(see archive.org)
Trisquel 8.0
flidas/main
aspcud
1.9.1
(1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Upstream homepage
dead
(see archive.org)
Trisquel 9.0
etiona/main
aspcud
1.9.4
(1:1.9.4-1)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Upstream homepage
dead
(see archive.org)
Trisquel 10.0
nabia/main
aspcud
1.9.4
(1:1.9.4-2build1)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Upstream homepage
dead
(see archive.org)
Ubuntu 14.04
trusty/universe
aspcud
1.8.0
(1:1.8.0-2)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
dead
(see archive.org)
Ubuntu 16.04
xenial/universe
aspcud
1.9.1
(1:1.9.1-2)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
dead
(see archive.org)
Ubuntu 18.04
bionic/universe
aspcud
1.9.4
(1:1.9.4-1)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
dead
(see archive.org)
Ubuntu 20.04
focal/universe
aspcud
1.9.4
(1:1.9.4-2build1)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
dead
(see archive.org)
Ubuntu 22.04
jammy/universe
aspcud
1.9.5
(1:1.9.5-1ubuntu1)
Maintainer:
ubuntu-devel-discuss@lists.ubuntu.com
Category:
universe/admin
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 22.10
kinetic/universe
aspcud
1.9.6
(1:1.9.6-1)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 23.04
lunar/universe
aspcud
1.9.6
(1:1.9.6-2)
Maintainer:
treinen@debian.org
Category:
universe/admin
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6