Debian NEW package overview for zimpl
| zimpl_3.7.0+ds-1_amd64.changes (click to toggle) | |
|---|---|
| Format: | 1.8 |
| Date: | Mon, 26 Jan 2026 19:58:25 -0500 |
| Source: | zimpl |
| Binary: | libzimpl-dev libzimpl0 libzimpl0-dbgsym zimpl zimpl-dbgsym |
| Architecture: | source amd64 |
| Version: | 3.7.0+ds-1 |
| Distribution: | unstable |
| Urgency: | medium |
| Maintainer: | Debian Math Team <team+math@tracker.debian.org> |
| Changed-By: | Doug Torrance <dtorrance@debian.org> |
| Description: | libzimpl-dev - mathematical modeling language for optimization problems (develop libzimpl0 - mathematical modeling language for optimization problems (library zimpl - mathematical modeling language for optimization problems (binary) |
| Closes: | 1126464 |
| Changes: | zimpl (3.7.0+ds-1) unstable; urgency=medium
* Re-introduce to Debian (Closes: #1126464).
* Split into three binary packages (zimpl, libzimpl0, and libzimpl-devel).
* debian/control
- Update Maintainer (now Debian Math Team) and add Uploaders field.
- Update Vcs-* fields.
- Drop Priority field; "optional" is now the default.
- Drop redundant Rules-Requires-Root field.
- Bump Standards-Version to 4.7.3.
- Add cmake to Build-Depends
- Add ghostscript, texlive-fonts-extra, texlive-latex-recommded, and
texlive-latex-base to Build-Depends for building documentation.
* debian/copyright
- Stop excluding documentation pdf; its source is included.
- Remove some directories that aren't included in the tarball generated
by scripts/makedist.sh (which doesn't appear to be hosted anywhere).
Some of the files have questionable licenses (images, etc.).
- Remove old physical Free Software Foundation address from license texts.
- Update upstream copyright years.
- Add license info for some cmake files.
- Add myself to copyright holders for debian directory.
* debian/gbp.conf
- New file; set pristine-tar to True and debian-branch to
debian/latest.
* debian/libzimpl0.symbols
- Add symbols file.
* debian/patches/adapt-build-system
- Remove patch; we now use the cmake build.
* debian/patches/check-abort.patch
- Only check for "Aborted" in error tests. Sometimes "(core dumped)"
doesn't appear (e.g., on Salsa CI runners).
* debian/patches/display-test-failures
- Remove patch to minimize diff from upstream and ease maintenance.
* debian/patches/fix-warnings
- Remove patch; issues fixed upstream.
* debian/patches/shared-library.patch
- New patch from Fedora; build a shared library.
* debian/patches
- Add .patch suffix to remaining patches so Emacs fires up the correct
major mode.
* debian/README.Debian
- Remove file; no longer accurate as we now distribute the
documentation.
* debian/README.source
- Remove file; the fact that we use quilt is clear from "3.0 (quilt)"
in d/source/format, so no reason to document it further.
* debian/rules
- Switch buildsystem to cmake.
- Drop override_dh_auto_build target; no longer necessary to manually
set build flags.
- Remove override_dh_install target; dh_install now does the right
thing by default.
- Remove DH_VERBOSE comment.
- Remove unnecessary override_dh_auto_clean target.
- Update override_dh_auto_test target to run check.sh script.
- Add execute_after_dh_auto_build target for building documentation.
- Add execute_after_dh_auto_clean target for cleaning up artifacts
from building documentation.
* debian/salsa-ci.yml
- Add Salsa CI config file.
* debian/tests/control
- Set Depends for autopkgtest to be just zimpl.
* debian/watch
- Use uscan v4.
- Update to use GitHub tags.
- Deal with repack suffix.
* debian/zimpl.doc-base
- New file; register documentation with doc-base.
* debian/zimpl.docs
- Rename from docs.
- Install pdf documentation. |
| Files: | 162ca0271efff058a658cfc624472399 2154 science optional zimpl_3.7.0+ds-1.dsc cd16a66e960628771e111d09226d611c 619216 science optional zimpl_3.7.0+ds.orig.tar.xz a2abd4d0fdc81024896fe20ac2196150 11976 science optional zimpl_3.7.0+ds-1.debian.tar.xz ab826ecadc65132fcb981fb68994d0ee 39700 libdevel optional libzimpl-dev_3.7.0+ds-1_amd64.deb cf995ce19bc66b6a7ee7ffe34017cd8f 303428 debug optional libzimpl0-dbgsym_3.7.0+ds-1_amd64.deb 7122335ea390a1a5018038977236aab9 141816 libs optional libzimpl0_3.7.0+ds-1_amd64.deb cb70fe67da309152b82acbbb16312d06 79460 debug optional zimpl-dbgsym_3.7.0+ds-1_amd64.deb d74fe366ace952336004e0bfbcccdd7c 10786 science optional zimpl_3.7.0+ds-1_amd64.buildinfo 7b0406832dd196cf063e2684838c613f 403464 science optional zimpl_3.7.0+ds-1_amd64.deb |
| zimpl_3.7.0+ds-1.dsc (click to toggle) | |
|---|---|
| Format: | 3.0 (quilt) |
| Source: | zimpl |
| Binary: | zimpl, libzimpl0, libzimpl-dev |
| Architecture: | any |
| Version: | 3.7.0+ds-1 |
| Maintainer: | Debian Math Team <team+math@tracker.debian.org> |
| Uploaders: | Doug Torrance <dtorrance@debian.org> |
| Homepage: | http://zimpl.zib.de/ |
| Standards-Version: | 4.7.3 |
| Vcs-Browser: | https://salsa.debian.org/math-team/zimpl |
| Vcs-Git: | https://salsa.debian.org/math-team/zimpl.git |
| Testsuite: | autopkgtest |
| Build-Depends: | bison, cmake, debhelper-compat (=13), flex, ghostscript, libgmp-dev, texlive-fonts-extra, texlive-latex-base, texlive-latex-recommended, zlib1g-dev |
| Package-List: | libzimpl-dev deb libdevel optional arch=any libzimpl0 deb libs optional arch=any zimpl deb science optional arch=any |
| Files: | cd16a66e960628771e111d09226d611c 619216 zimpl_3.7.0+ds.orig.tar.xz a2abd4d0fdc81024896fe20ac2196150 11976 zimpl_3.7.0+ds-1.debian.tar.xz |
| control file for libzimpl-dev_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | libzimpl-dev |
| Source: | zimpl |
| Version: | 3.7.0+ds-1 |
| Architecture: | amd64 |
| Maintainer: | Debian Math Team <team+math@tracker.debian.org> |
| Installed-Size: | 242 |
| Depends: | libzimpl0 (=3.7.0+ds-1) |
| Section: | libdevel |
| Priority: | optional |
| Multi-Arch: | same |
| Homepage: | http://zimpl.zib.de/ |
| Description: | mathematical modeling language for optimization problems (development) Zimpl allows the specification of certain optimization problems - linear programs (LPs) and mixed integer programs (MIPs) - in a high-level description language. These descriptions can be converted into the LP or MPS file formats which are understood by LP and MIP solvers. . This package contains the zimpl development tools. |
| contents of libzimpl-dev_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2026-01-27 00:58 ./ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/include/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/include/zimpl/ -rw-r--r-- root/root 4293 2025-11-23 12:19 ./usr/include/zimpl/attribute.h -rw-r--r-- root/root 1713 2025-11-23 12:19 ./usr/include/zimpl/blkmem.h -rw-r--r-- root/root 2732 2025-11-23 12:19 ./usr/include/zimpl/bound.h -rw-r--r-- root/root 14074 2025-11-23 12:19 ./usr/include/zimpl/code.h -rw-r--r-- root/root 2026 2025-11-23 12:19 ./usr/include/zimpl/conname.h -rw-r--r-- root/root 3010 2025-11-23 12:19 ./usr/include/zimpl/define.h -rw-r--r-- root/root 3822 2025-11-23 12:19 ./usr/include/zimpl/elem.h -rw-r--r-- root/root 3812 2025-11-23 12:19 ./usr/include/zimpl/entry.h -rw-r--r-- root/root 2016 2025-11-23 12:19 ./usr/include/zimpl/gmpmisc.h -rw-r--r-- root/root 3961 2025-11-23 12:19 ./usr/include/zimpl/hash.h -rw-r--r-- root/root 2923 2025-11-23 12:19 ./usr/include/zimpl/heap.h -rw-r--r-- root/root 3164 2025-11-23 12:19 ./usr/include/zimpl/idxset.h -rw-r--r-- root/root 21693 2025-11-23 12:19 ./usr/include/zimpl/inst.h -rw-r--r-- root/root 3441 2025-11-23 12:19 ./usr/include/zimpl/lint.h -rw-r--r-- root/root 4945 2025-11-23 12:19 ./usr/include/zimpl/list.h -rw-r--r-- root/root 2349 2025-11-23 12:19 ./usr/include/zimpl/local.h -rw-r--r-- root/root 2684 2025-11-23 12:19 ./usr/include/zimpl/metaio.h -rw-r--r-- root/root 4487 2025-11-23 12:19 ./usr/include/zimpl/mme.h -rw-r--r-- root/root 8790 2026-01-27 00:58 ./usr/include/zimpl/mmlparse2.h -rw-r--r-- root/root 4892 2025-11-23 12:19 ./usr/include/zimpl/mono.h -rw-r--r-- root/root 3672 2025-11-23 12:19 ./usr/include/zimpl/mshell.h -rw-r--r-- root/root 8288 2025-11-23 12:19 ./usr/include/zimpl/numb.h -rw-r--r-- root/root 2963 2025-11-23 12:19 ./usr/include/zimpl/prog.h -rw-r--r-- root/root 1765 2025-11-23 12:19 ./usr/include/zimpl/random.h -rw-r--r-- root/root 11283 2025-11-23 12:19 ./usr/include/zimpl/ratlp.h -rw-r--r-- root/root 3975 2025-11-23 12:19 ./usr/include/zimpl/ratlpstore.h -rw-r--r-- root/root 3564 2025-11-23 12:19 ./usr/include/zimpl/ratlptypes.h -rw-r--r-- root/root 4099 2025-11-23 12:19 ./usr/include/zimpl/rdefpar.h -rw-r--r-- root/root 5667 2025-11-23 12:19 ./usr/include/zimpl/set.h -rw-r--r-- root/root 9047 2025-11-23 12:19 ./usr/include/zimpl/set4.h -rw-r--r-- root/root 2286 2025-11-23 12:19 ./usr/include/zimpl/stkchk.h -rw-r--r-- root/root 3531 2025-11-23 12:19 ./usr/include/zimpl/stmt.h -rw-r--r-- root/root 1872 2025-11-23 12:19 ./usr/include/zimpl/strstore.h -rw-r--r-- root/root 4254 2025-11-23 12:19 ./usr/include/zimpl/symbol.h -rw-r--r-- root/root 6079 2025-11-23 12:19 ./usr/include/zimpl/term.h -rw-r--r-- root/root 3403 2025-11-23 12:19 ./usr/include/zimpl/tuple.h -rw-r--r-- root/root 3862 2025-11-23 12:19 ./usr/include/zimpl/xlpglue.h -rw-r--r-- root/root 2306 2025-11-23 12:19 ./usr/include/zimpl/zimpllib.h -rw-r--r-- root/root 2539 2025-11-23 12:19 ./usr/include/zimpl/zlpglue.h drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/cmake/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/cmake/zimpl/ -rw-r--r-- root/root 2762 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/cmake/zimpl/zimpl-config-version.cmake -rw-r--r-- root/root 248 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/cmake/zimpl/zimpl-config.cmake -rw-r--r-- root/root 1185 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/cmake/zimpl/zimpl-targets-none.cmake -rw-r--r-- root/root 4891 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/cmake/zimpl/zimpl-targets.cmake drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/doc/libzimpl-dev/ -rw-r--r-- root/root 1858 2026-01-27 00:58 ./usr/share/doc/libzimpl-dev/changelog.Debian.gz -rw-r--r-- root/root 10987 2025-11-23 12:19 ./usr/share/doc/libzimpl-dev/changelog.gz -rw-r--r-- root/root 6304 2026-01-27 00:06 ./usr/share/doc/libzimpl-dev/copyright lrwxrwxrwx root/root 0 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/libzimpl.so -> libzimpl.so.0 | |
| copyright of libzimpl-dev_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: zimpl
Source: https://zimpl.zib.de/
Files-Excluded: contrib
extra
lint
project
speed
talk
test
vortrag
web
Comment: Remove some directories that aren't included in the tarball generated
by scripts/makedist.sh (which doesn't appear to be hosted anywhere). Some of
the files have questionable licenses (images, etc.).
Files: *
Copyright: 2001-2025 Thorsten Koch <koch@zib.de>
License: LGPL-3+
Files: Makefile Makefile.nmake check/bool.zpl check/check.sh check/condit.zpl check/define.zpl check/expr.zpl check/minlp.zpl check/param.zpl check/presol.zpl check/read.zpl check/set.zpl check/sos.zpl check/subto.zpl check/var.zpl check/vinst.zpl
Copyright: 2001-2025 Thorsten Koch <koch@zib.de>
License: GPL-2+
Files: cmake/Modules/asan-wrapper
cmake/Modules/FindASan.cmake
cmake/Modules/FindMSan.cmake
cmake/Modules/FindSanitizers.cmake
cmake/Modules/FindTSan.cmake
cmake/Modules/FindUBSan.cmake
cmake/Modules/sanitize-helpers.cmake
Copyright: 2013 Matthew Arsenault
2015-2016 RWTH Aachen University, Federal Republic of Germany
License: Expat
Files: src/WIN/getopt.c src/WIN/getopt.h
Copyright: 1989-1994, 1996-1999, 2001 Free Software Foundation, Inc.
License: LGPL-2.1+
Files: src/zimpl/random.c
Copyright: 1997 - 2002, Makoto Matsumoto and Takuji Nishimura
2001-2018 Thorsten Koch <koch@zib.de>
License: BSD-3-clause
Files: debian/*
Copyright: 2006-2020 Joachim Reichel <reichel@debian.org>
2026 Doug Torrance <dtorrance@debian.org>
License: LGPL-3+
License: Expat
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
.
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
License: LGPL-3+
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public License
as published by the Free Software Foundation; either version 3
of the License, or (at your option) any later version.
.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
.
You should have received a copy of the GNU Lesser General Public License
along with this program; if not, see <https://www.gnu.org/licenses/>.
.
On Debian systems, the full text of the GNU Lesser General Public
License version 3 can be found in the file
`/usr/share/common-licenses/LGPL-3'.
License: GPL-2+
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.
.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
.
You should have received a copy of the GNU General Public License
along with this program; if not, see <https://www.gnu.org/licenses/>.
License: LGPL-2.1+
The GNU C Library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
.
The GNU C Library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
.
You should have received a copy of the GNU Lesser General Public License
along with the GNU C Library; if not, see <https://www.gnu.org/licenses/>.
License: BSD-3-clause
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
.
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
.
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
.
3. The names of its contributors may not be used to endorse or promote
products derived from this software without specific prior written
permission.
.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
OWNER OR
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
| |
| control file for libzimpl0_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | libzimpl0 |
| Source: | zimpl |
| Version: | 3.7.0+ds-1 |
| Architecture: | amd64 |
| Maintainer: | Debian Math Team <team+math@tracker.debian.org> |
| Installed-Size: | 427 |
| Depends: | libc6 (>=2.29), libgmp10 (>=2:6.3.0+dfsg), zlib1g (>=1:1.1.4) |
| Section: | libs |
| Priority: | optional |
| Multi-Arch: | same |
| Homepage: | http://zimpl.zib.de/ |
| Description: | mathematical modeling language for optimization problems (library) Zimpl allows the specification of certain optimization problems - linear programs (LPs) and mixed integer programs (MIPs) - in a high-level description language. These descriptions can be converted into the LP or MPS file formats which are understood by LP and MIP solvers. . This package contains the zimpl shared library. |
| contents of libzimpl0_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2026-01-27 00:58 ./ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/ -rw-r--r-- root/root 387096 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/libzimpl.so.0.0.0 drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/doc/libzimpl0/ -rw-r--r-- root/root 1857 2026-01-27 00:58 ./usr/share/doc/libzimpl0/changelog.Debian.gz -rw-r--r-- root/root 10987 2025-11-23 12:19 ./usr/share/doc/libzimpl0/changelog.gz -rw-r--r-- root/root 6304 2026-01-27 00:06 ./usr/share/doc/libzimpl0/copyright lrwxrwxrwx root/root 0 2026-01-27 00:58 ./usr/lib/x86_64-linux-gnu/libzimpl.so.0 -> libzimpl.so.0.0.0 | |
| copyright of libzimpl0_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
NOTE: Copyright is the same as libzimpl-dev (libzimpl-dev_3.7.0+ds-1_amd64.deb). Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: zimpl
Source: https://zimpl.zib.de/
Files-Excluded: contrib
extra
lint
project
speed
talk
test
vortrag
web
Comment: Remove some directories that aren't included in the tarball generated
by scripts/makedist.sh (which doesn't appear to be hosted anywhere). Some of
the files have questionable licenses (images, etc.).
Files: *
Copyright: 2001-2025 Thorsten Koch <koch@zib.de>
License: LGPL-3+
Files: Makefile Makefile.nmake check/bool.zpl check/check.sh check/condit.zpl check/define.zpl check/expr.zpl check/minlp.zpl check/param.zpl check/presol.zpl check/read.zpl check/set.zpl check/sos.zpl check/subto.zpl check/var.zpl check/vinst.zpl
Copyright: 2001-2025 Thorsten Koch <koch@zib.de>
License: GPL-2+
Files: cmake/Modules/asan-wrapper
cmake/Modules/FindASan.cmake
cmake/Modules/FindMSan.cmake
cmake/Modules/FindSanitizers.cmake
cmake/Modules/FindTSan.cmake
cmake/Modules/FindUBSan.cmake
cmake/Modules/sanitize-helpers.cmake
Copyright: 2013 Matthew Arsenault
2015-2016 RWTH Aachen University, Federal Republic of Germany
License: Expat
Files: src/WIN/getopt.c src/WIN/getopt.h
Copyright: 1989-1994, 1996-1999, 2001 Free Software Foundation, Inc.
License: LGPL-2.1+
Files: src/zimpl/random.c
Copyright: 1997 - 2002, Makoto Matsumoto and Takuji Nishimura
2001-2018 Thorsten Koch <koch@zib.de>
License: BSD-3-clause
Files: debian/*
Copyright: 2006-2020 Joachim Reichel <reichel@debian.org>
2026 Doug Torrance <dtorrance@debian.org>
License: LGPL-3+
License: Expat
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
.
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
License: LGPL-3+
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public License
as published by the Free Software Foundation; either version 3
of the License, or (at your option) any later version.
.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
.
You should have received a copy of the GNU Lesser General Public License
along with this program; if not, see <https://www.gnu.org/licenses/>.
.
On Debian systems, the full text of the GNU Lesser General Public
License version 3 can be found in the file
`/usr/share/common-licenses/LGPL-3'.
License: GPL-2+
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.
.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
.
You should have received a copy of the GNU General Public License
along with this program; if not, see <https://www.gnu.org/licenses/>.
License: LGPL-2.1+
The GNU C Library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
.
The GNU C Library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
.
You should have received a copy of the GNU Lesser General Public License
along with the GNU C Library; if not, see <https://www.gnu.org/licenses/>.
License: BSD-3-clause
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
.
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
.
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
.
3. The names of its contributors may not be used to endorse or promote
products derived from this software without specific prior written
permission.
.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
OWNER OR
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
| |
| control file for libzimpl0-dbgsym_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | libzimpl0-dbgsym |
| Source: | zimpl |
| Version: | 3.7.0+ds-1 |
| Auto-Built-Package: | debug-symbols |
| Architecture: | amd64 |
| Maintainer: | Debian Math Team <team+math@tracker.debian.org> |
| Installed-Size: | 367 |
| Depends: | libzimpl0 (=3.7.0+ds-1) |
| Section: | debug |
| Priority: | optional |
| Multi-Arch: | same |
| Description: | debug symbols for libzimpl0 |
| Build-Ids: | f7edff30c40f811a80506e1207a58a847d08438d |
| contents of libzimpl0-dbgsym_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2026-01-27 00:58 ./ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/debug/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/debug/.build-id/f7/ -rw-r--r-- root/root 364736 2026-01-27 00:58 ./usr/lib/debug/.build-id/f7/edff30c40f811a80506e1207a58a847d08438d.debug drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/doc/ lrwxrwxrwx root/root 0 2026-01-27 00:58 ./usr/share/doc/libzimpl0-dbgsym -> libzimpl0 | |
| copyright of libzimpl0-dbgsym_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
WARNING: No copyright found, please check package manually. | |
| control file for zimpl_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | zimpl |
| Version: | 3.7.0+ds-1 |
| Architecture: | amd64 |
| Maintainer: | Debian Math Team <team+math@tracker.debian.org> |
| Installed-Size: | 479 |
| Depends: | libc6 (>=2.34), libgmp10 (>=2:6.3.0+dfsg), libzimpl0 (>=3.7.0) |
| Suggests: | glpk-utils |
| Section: | science |
| Priority: | optional |
| Multi-Arch: | foreign |
| Homepage: | http://zimpl.zib.de/ |
| Description: | mathematical modeling language for optimization problems (binary) Zimpl allows the specification of certain optimization problems - linear programs (LPs) and mixed integer programs (MIPs) - in a high-level description language. These descriptions can be converted into the LP or MPS file formats which are understood by LP and MIP solvers. . This package contains the zimpl binary. |
| contents of zimpl_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2026-01-27 00:58 ./ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/bin/ -rwxr-xr-x root/root 79952 2026-01-27 00:58 ./usr/bin/zimpl drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/doc/zimpl/ -rw-r--r-- root/root 2363 2025-11-23 12:19 ./usr/share/doc/zimpl/README.gz -rw-r--r-- root/root 1856 2026-01-27 00:58 ./usr/share/doc/zimpl/changelog.Debian.gz -rw-r--r-- root/root 10987 2025-11-23 12:19 ./usr/share/doc/zimpl/changelog.gz -rw-r--r-- root/root 6304 2026-01-27 00:06 ./usr/share/doc/zimpl/copyright drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/doc/zimpl/examples/ -rw-r--r-- root/root 1194 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/chvatal_diet.zpl -rw-r--r-- root/root 617 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/city.dat -rw-r--r-- root/root 347 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/ex1.zpl -rw-r--r-- root/root 581 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/ex2.zpl -rw-r--r-- root/root 1086 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/ex3.zpl -rw-r--r-- root/root 1105 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/ex4.zpl -rw-r--r-- root/root 1730 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/facility_location.zpl -rw-r--r-- root/root 734 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/queens1.zpl -rw-r--r-- root/root 596 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/queens2.zpl -rw-r--r-- root/root 615 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/queens3.zpl -rw-r--r-- root/root 588 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/queens4.zpl -rw-r--r-- root/root 981 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/queens5.zpl -rw-r--r-- root/root 854 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/steinerbaum.zpl -rw-r--r-- root/root 227 2026-01-27 00:58 ./usr/share/doc/zimpl/examples/tsp.dat -rw-r--r-- root/root 831 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/tsp.zpl -rw-r--r-- root/root 769 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/tspcut.zpl -rw-r--r-- root/root 870 2025-11-23 12:19 ./usr/share/doc/zimpl/examples/tspste.zpl -rw-r--r-- root/root 349915 2026-01-27 00:58 ./usr/share/doc/zimpl/zimpl.pdf.gz drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/doc-base/ -rw-r--r-- root/root 398 2026-01-26 23:08 ./usr/share/doc-base/zimpl.zimpl drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/man/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/man/man1/ -rw-r--r-- root/root 2016 2026-01-27 00:58 ./usr/share/man/man1/zimpl.1.gz | |
| copyright of zimpl_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
NOTE: Copyright is the same as libzimpl-dev (libzimpl-dev_3.7.0+ds-1_amd64.deb). Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: zimpl
Source: https://zimpl.zib.de/
Files-Excluded: contrib
extra
lint
project
speed
talk
test
vortrag
web
Comment: Remove some directories that aren't included in the tarball generated
by scripts/makedist.sh (which doesn't appear to be hosted anywhere). Some of
the files have questionable licenses (images, etc.).
Files: *
Copyright: 2001-2025 Thorsten Koch <koch@zib.de>
License: LGPL-3+
Files: Makefile Makefile.nmake check/bool.zpl check/check.sh check/condit.zpl check/define.zpl check/expr.zpl check/minlp.zpl check/param.zpl check/presol.zpl check/read.zpl check/set.zpl check/sos.zpl check/subto.zpl check/var.zpl check/vinst.zpl
Copyright: 2001-2025 Thorsten Koch <koch@zib.de>
License: GPL-2+
Files: cmake/Modules/asan-wrapper
cmake/Modules/FindASan.cmake
cmake/Modules/FindMSan.cmake
cmake/Modules/FindSanitizers.cmake
cmake/Modules/FindTSan.cmake
cmake/Modules/FindUBSan.cmake
cmake/Modules/sanitize-helpers.cmake
Copyright: 2013 Matthew Arsenault
2015-2016 RWTH Aachen University, Federal Republic of Germany
License: Expat
Files: src/WIN/getopt.c src/WIN/getopt.h
Copyright: 1989-1994, 1996-1999, 2001 Free Software Foundation, Inc.
License: LGPL-2.1+
Files: src/zimpl/random.c
Copyright: 1997 - 2002, Makoto Matsumoto and Takuji Nishimura
2001-2018 Thorsten Koch <koch@zib.de>
License: BSD-3-clause
Files: debian/*
Copyright: 2006-2020 Joachim Reichel <reichel@debian.org>
2026 Doug Torrance <dtorrance@debian.org>
License: LGPL-3+
License: Expat
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
.
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
License: LGPL-3+
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public License
as published by the Free Software Foundation; either version 3
of the License, or (at your option) any later version.
.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
.
You should have received a copy of the GNU Lesser General Public License
along with this program; if not, see <https://www.gnu.org/licenses/>.
.
On Debian systems, the full text of the GNU Lesser General Public
License version 3 can be found in the file
`/usr/share/common-licenses/LGPL-3'.
License: GPL-2+
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.
.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
.
You should have received a copy of the GNU General Public License
along with this program; if not, see <https://www.gnu.org/licenses/>.
License: LGPL-2.1+
The GNU C Library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
.
The GNU C Library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
.
You should have received a copy of the GNU Lesser General Public License
along with the GNU C Library; if not, see <https://www.gnu.org/licenses/>.
License: BSD-3-clause
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
.
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
.
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
.
3. The names of its contributors may not be used to endorse or promote
products derived from this software without specific prior written
permission.
.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
OWNER OR
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
| |
| control file for zimpl-dbgsym_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | zimpl-dbgsym |
| Source: | zimpl |
| Version: | 3.7.0+ds-1 |
| Auto-Built-Package: | debug-symbols |
| Architecture: | amd64 |
| Maintainer: | Debian Math Team <team+math@tracker.debian.org> |
| Installed-Size: | 123 |
| Depends: | zimpl (=3.7.0+ds-1) |
| Section: | debug |
| Priority: | optional |
| Description: | debug symbols for zimpl |
| Build-Ids: | 32e735bb1e6474c6fa8b30c450c69cee2ca19b72 |
| contents of zimpl-dbgsym_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2026-01-27 00:58 ./ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/debug/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/lib/debug/.build-id/32/ -rw-r--r-- root/root 115208 2026-01-27 00:58 ./usr/lib/debug/.build-id/32/e735bb1e6474c6fa8b30c450c69cee2ca19b72.debug drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/ drwxr-xr-x root/root 0 2026-01-27 00:58 ./usr/share/doc/ lrwxrwxrwx root/root 0 2026-01-27 00:58 ./usr/share/doc/zimpl-dbgsym -> zimpl | |
| copyright of zimpl-dbgsym_3.7.0+ds-1_amd64.deb (click to toggle) | |
|---|---|
WARNING: No copyright found, please check package manually. | |
Timestamp: 27.01.2026 / 02:12:31 (UTC)