Pakiet źródłowy: ppl (1:1.2-8.1)
Odnośniki dla ppl
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Repozytorium kodu źródłowego Debiana (Git)
- Śledzenie łatek systemu Debian
Opiekunowie:
- Debian Science Team (Strona QA, Archiwum e-mail)
- Tobias Hansen (Strona QA)
- Michael Tautschnig (Strona QA)
Zasoby zewnętrzne:
- Strona internetowa [www.cs.unipr.it]
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- libppl-c4
- Parma Polyhedra Library (C interface)
- libppl-dev
- Parma Polyhedra Library (development)
- libppl-doc
- Parma Polyhedra Library: Documentation
- libppl-swi
- Parma Polyhedra Library (SWI Prolog interface)
- libppl14
- Parma Polyhedra Library (runtime library)
- ppl-dev
- Parma Polyhedra Library (development binaries)
Inne pakiety związane z ppl
|
|
-
- adep: debhelper (>= 11~)
- Programy pomocnicze do debian/rules
-
- adep: libgmp-dev
- Multiprecision arithmetic library developers tools
-
- adep: libncurses-dev
- developer's libraries for ncurses
-
- idep: doxygen-latex
- Generate LaTeX documentation from source code
-
- idep: ghostscript
- interpreter for the PostScript language and for PDF
-
- idep: graphviz
- rich set of graph drawing tools
-
- idep: poppler-utils
- PDF utilities (based on Poppler)
-
- idep: swi-prolog
- ISO/Edinburgh-style Prolog interpreter
-
- idep: texlive-science
- TeX Live: Mathematics, natural sciences, computer science packages
Download ppl
Plik | Rozmiar (w KiB) | Suma kontrolna MD5 |
---|---|---|
ppl_1.2-8.1.dsc | 2,5 KiB | 9ba668ab8080d3eb94cd7b4255f92e59 |
ppl_1.2.orig.tar.xz | 13 804,9 KiB | e7bd12043d1064214f7a0107b6da3f17 |
ppl_1.2-8.1.debian.tar.xz | 13,2 KiB | d72e44f999d54e2d64fb8145948396c6 |
- Repozytorium kodu źródłowego Debiana (VCS: Git)
- https://salsa.debian.org/science-team/ppl.git
- Repozytorium kodu źródłowego Debiana (do przeglądania)
- https://salsa.debian.org/science-team/ppl