Debian NEW package overview for gecode-snapshot
gecode-snapshot_6.2.0+git20240207-1_amd64.changes (click to toggle)
Format:1.8
Date:Fri, 05 Jul 2024 11:06:52 +0300
Source:gecode-snapshot
Binary:gecode-flatzinc gecode-flatzinc-dbgsym
Architecture:source amd64
Version:6.2.0+git20240207-1
Distribution:unstable
Urgency:medium
Maintainer:Kari Pahula <kaol@debian.org>
Changed-By:Kari Pahula <kaol@debian.org>
Description:
gecode-flatzinc - constraint problem modelling language
Closes:1074772
Changes:
gecode-snapshot (6.2.0+git20240207-1) unstable; urgency=medium

  * Initial release (Closes: #1074772)
  * Repackage Gecode with git snapshot to get a newer flatzinc without
    touching the library part
  * Build Gecode as static library only and use it to build FlatZinc
Files:
3f03f7c750777283bcdacc400d87bd1c 1919 libs optional gecode-snapshot_6.2.0+git20240207-1.dsc
872798313acf9d370b5f8f6e7157ee1b 3989284 libs optional gecode-snapshot_6.2.0+git20240207.orig.tar.xz
5cd45408fbfa97fcf864821a5c19a376 13400 libs optional gecode-snapshot_6.2.0+git20240207-1.debian.tar.xz
7c8f765906de4eaab21cdc03c363830c 57979044 debug optional gecode-flatzinc-dbgsym_6.2.0+git20240207-1_amd64.deb
b683dd663d723f7016f660ab42e0f988 2888168 devel optional gecode-flatzinc_6.2.0+git20240207-1_amd64.deb
8c27ac6d98ad8e58049bb5ac1a2825c7 12187 libs optional gecode-snapshot_6.2.0+git20240207-1_amd64.buildinfo
gecode-snapshot_6.2.0+git20240207-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:gecode-snapshot
Binary:gecode-flatzinc
Architecture:any
Version:6.2.0+git20240207-1
Maintainer:Kari Pahula <kaol@debian.org>
Homepage:https://www.gecode.org/
Standards-Version:4.7.0
Build-Depends:debhelper (>=13), cdbs (>=0.4.93~), libmpfr-dev, flex, bison, qt6-base-dev, libboost-dev
Package-List:gecode-flatzinc deb devel optional arch=any
Files:
872798313acf9d370b5f8f6e7157ee1b 3989284 gecode-snapshot_6.2.0+git20240207.orig.tar.xz
5cd45408fbfa97fcf864821a5c19a376 13400 gecode-snapshot_6.2.0+git20240207-1.debian.tar.xz
lintian 2.104.0 check for gecode-snapshot_6.2.0+git20240207-1.dsc (click to toggle)
README.source for gecode-snapshot_6.2.0+git20240207-1.dsc (click to toggle)
No README.source in this package
control file for gecode-flatzinc_6.2.0+git20240207-1_amd64.deb (click to toggle)
Package:gecode-flatzinc
Source:gecode-snapshot
Version:6.2.0+git20240207-1
Architecture:amd64
Maintainer:Kari Pahula <kaol@debian.org>
Installed-Size:14754
Depends:libc6 (>=2.38), libgcc-s1 (>=3.0), libmpfr6 (>=3.1.3), libqt6core6t64 (>=6.6.0), libqt6gui6 (>=6.1.2), libqt6printsupport6 (>=6.1.2), libqt6widgets6 (>=6.3.0), libstdc++6 (>=13.1)
Recommends:minizinc
Breaks:flatzinc (<< 6.2.0+git20240207)
Replaces:flatzinc (<< 6.2.0+git20240207)
Provides:flatzinc
Section:devel
Priority:optional
Homepage:https://www.gecode.org/flatzinc.html
Description:
constraint problem modelling language
 FlatZinc is a low-level modelling language for constraint
 problems. It is designed to be easily interfaceable to constraint
 solvers (like Gecode). For more information on FlatZinc, please refer
 to the MiniZinc pages of the G12 project <https://www.minizinc.org/>.
lintian 2.104.0 check for gecode-flatzinc_6.2.0+git20240207-1_amd64.deb (click to toggle)
contents of gecode-flatzinc_6.2.0+git20240207-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2024-07-05 08:06 ./
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/bin/
-rwxr-xr-x root/root  14868328 2024-07-05 08:06 ./usr/bin/fzn-gecode
-rwxr-xr-x root/root      1500 2024-07-05 08:06 ./usr/bin/mzn-gecode
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/share/
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/share/doc/
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/share/doc/gecode-flatzinc/
-rw-r--r-- root/root       666 2024-07-05 07:37 ./usr/share/doc/gecode-flatzinc/README.Debian
-rw-r--r-- root/root      4903 2024-07-05 08:06 ./usr/share/doc/gecode-flatzinc/buildinfo_amd64.gz
-rw-r--r-- root/root       264 2024-07-05 08:06 ./usr/share/doc/gecode-flatzinc/changelog.Debian.gz
-rw-r--r-- root/root     53458 2024-07-05 08:06 ./usr/share/doc/gecode-flatzinc/changelog.gz
-rw-r--r-- root/root     18811 2024-07-05 07:36 ./usr/share/doc/gecode-flatzinc/copyright
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/share/lintian/
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/share/lintian/overrides/
-rw-r--r-- root/root       102 2024-07-04 10:42 ./usr/share/lintian/overrides/gecode-flatzinc
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/share/minizinc/
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/share/minizinc/gecode/
-rw-r--r-- root/root      1345 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_all_different_int.mzn
-rw-r--r-- root/root      1341 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_all_equal_int.mzn
-rw-r--r-- root/root       801 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_alldifferent_except_0.mzn
-rw-r--r-- root/root      1360 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_among.mzn
-rw-r--r-- root/root       224 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_arg_max_bool.mzn
-rw-r--r-- root/root       219 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_arg_max_int.mzn
-rw-r--r-- root/root       224 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_arg_min_bool.mzn
-rw-r--r-- root/root       219 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_arg_min_int.mzn
-rw-r--r-- root/root      1356 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_at_least_int.mzn
-rw-r--r-- root/root      1424 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_at_least_set.mzn
-rw-r--r-- root/root      1355 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_at_most_int.mzn
-rw-r--r-- root/root      1423 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_at_most_set.mzn
-rw-r--r-- root/root      1627 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_bin_packing.mzn
-rw-r--r-- root/root      1678 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_bin_packing_capa.mzn
-rw-r--r-- root/root      1742 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_bin_packing_load.mzn
-rw-r--r-- root/root      1558 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_circuit.mzn
-rw-r--r-- root/root      1360 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_count_eq.mzn
-rw-r--r-- root/root      1525 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_count_eq_reif.mzn
-rw-r--r-- root/root      1744 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_cumulative.mzn
-rw-r--r-- root/root      2233 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_cumulative_opt.mzn
-rw-r--r-- root/root       862 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_cumulatives.mzn
-rw-r--r-- root/root      1344 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_decreasing_bool.mzn
-rw-r--r-- root/root      1342 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_decreasing_int.mzn
-rw-r--r-- root/root      1644 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_diffn.mzn
-rw-r--r-- root/root      1350 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_disjoint.mzn
-rw-r--r-- root/root       640 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_disjunctive_strict.mzn
-rw-r--r-- root/root      2019 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_disjunctive_strict_opt.mzn
-rw-r--r-- root/root      1423 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_exactly_set.mzn
-rw-r--r-- root/root      1874 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_global_cardinality.mzn
-rw-r--r-- root/root      1759 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_global_cardinality_closed.mzn
-rw-r--r-- root/root      1553 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_global_cardinality_low_up.mzn
-rw-r--r-- root/root      1581 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_global_cardinality_low_up_closed.mzn
-rw-r--r-- root/root      1344 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_increasing_bool.mzn
-rw-r--r-- root/root      1342 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_increasing_int.mzn
-rw-r--r-- root/root      1951 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_int_set_channel.mzn
-rw-r--r-- root/root      1592 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_inverse.mzn
-rw-r--r-- root/root      1963 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_inverse_set.mzn
-rw-r--r-- root/root      1526 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_lex_less_bool.mzn
-rw-r--r-- root/root      1517 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_lex_less_int.mzn
-rw-r--r-- root/root      1530 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_lex_lesseq_bool.mzn
-rw-r--r-- root/root      1521 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_lex_lesseq_int.mzn
-rw-r--r-- root/root      1621 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_link_set_to_booleans.mzn
-rw-r--r-- root/root      1353 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_member_bool.mzn
-rw-r--r-- root/root      1500 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_member_bool_reif.mzn
-rw-r--r-- root/root      1350 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_member_int.mzn
-rw-r--r-- root/root      1493 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_member_int_reif.mzn
-rw-r--r-- root/root      1346 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_nvalue.mzn
-rw-r--r-- root/root      1554 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_partition_set.mzn
-rw-r--r-- root/root      1757 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_range.mzn
-rw-r--r-- root/root      1605 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_regular.mzn
-rw-r--r-- root/root      2136 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_roots.mzn
-rw-r--r-- root/root      1358 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_sort.mzn
-rw-r--r-- root/root      1584 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_sum_pred.mzn
-rw-r--r-- root/root      1581 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_sum_set.mzn
-rw-r--r-- root/root      1586 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_table_bool.mzn
-rw-r--r-- root/root      1963 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_table_bool_reif.mzn
-rw-r--r-- root/root      1578 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_table_int.mzn
-rw-r--r-- root/root      1945 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_table_int_reif.mzn
-rw-r--r-- root/root      1456 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_value_precede_int.mzn
-rw-r--r-- root/root      1478 2024-07-05 08:06 ./usr/share/minizinc/gecode/fzn_value_precede_set.mzn
-rw-r--r-- root/root      7915 2024-07-05 08:06 ./usr/share/minizinc/gecode/gecode.mzn
-rw-r--r-- root/root       998 2024-07-05 08:06 ./usr/share/minizinc/gecode/redefinitions-2.0.2.mzn
-rw-r--r-- root/root      1095 2024-07-05 08:06 ./usr/share/minizinc/gecode/redefinitions-2.0.mzn
-rw-r--r-- root/root       284 2024-07-05 08:06 ./usr/share/minizinc/gecode/redefinitions-2.2.1.mzn
-rw-r--r-- root/root      1385 2024-07-05 08:06 ./usr/share/minizinc/gecode/redefinitions-2.5.2.mzn
-rw-r--r-- root/root      6440 2024-07-05 08:06 ./usr/share/minizinc/gecode/redefinitions.mzn
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/share/minizinc/solvers/
-rw-r--r-- root/root      1259 2024-07-05 08:06 ./usr/share/minizinc/solvers/gecode-gist.msc
-rw-r--r-- root/root      1237 2024-07-05 08:06 ./usr/share/minizinc/solvers/gecode.msc
control file for gecode-flatzinc-dbgsym_6.2.0+git20240207-1_amd64.deb (click to toggle)
Package:gecode-flatzinc-dbgsym
Source:gecode-snapshot
Version:6.2.0+git20240207-1
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Kari Pahula <kaol@debian.org>
Installed-Size:59443
Depends:gecode-flatzinc (=6.2.0+git20240207-1)
Section:debug
Priority:optional
Description:
debug symbols for gecode-flatzinc
Build-Ids:a2e1297625d8b42edc0c6e3ed84d447ab8ca53ee
lintian 2.104.0 check for gecode-flatzinc-dbgsym_6.2.0+git20240207-1_amd64.deb (click to toggle)
contents of gecode-flatzinc-dbgsym_6.2.0+git20240207-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2024-07-05 08:06 ./
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/lib/
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/lib/debug/
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/lib/debug/.build-id/a2/
-rw-r--r-- root/root  60859192 2024-07-05 08:06 ./usr/lib/debug/.build-id/a2/e1297625d8b42edc0c6e3ed84d447ab8ca53ee.debug
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/share/
drwxr-xr-x root/root         0 2024-07-05 08:06 ./usr/share/doc/
lrwxrwxrwx root/root         0 2024-07-05 08:06 ./usr/share/doc/gecode-flatzinc-dbgsym -> gecode-flatzinc

Timestamp: 05.07.2024 / 09:02:19 (UTC)