wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-06-05 06:33:50 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

ppl: use Debian's mirror

Browse source 
The original distfiles is dead.
This commit is contained in:
Đoàn Trần Công Danh 2021-11-25 17:12:29 +07:00
parent bf202df1b2
commit b446a37673
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
srcpkgs/ppl/template
View file

@ -10,7 +10,8 @@ short_desc="The Parma Polyhedra Library"
homepage="http://www.bugseng.com/parma-polyhedra-library" homepage="http://www.bugseng.com/parma-polyhedra-library"
license="GPL-3" license="GPL-3"
maintainer="Orphaned <orphan@voidlinux.org>" maintainer="Orphaned <orphan@voidlinux.org>"
distfiles="ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ppl-${version}.tar.xz" # distfiles="ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ppl-${version}.tar.xz"
distfiles="${DEBIAN_SITE}/main/p/ppl/ppl_${version}.orig.tar.xz"
checksum=691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 checksum=691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60
pre_configure() { pre_configure() {