Johannes 'josch' Schauer pushed to branch master at Debian OCaml Maintainers / dose3
Commits: 5c0f6207 by Johannes 'josch' Schauer at 2021-01-27T16:11:52+01:00 New upstream version 6.0.1 - - - - - 894e13e1 by Johannes 'josch' Schauer at 2021-01-27T16:12:01+01:00 Update upstream source from tag 'upstream/6.0.1' Update to upstream version '6.0.1' with Debian dir 7bdfaea511920a1b0558d8fcd74e549d8e7fff3c - - - - - 96e040be by Johannes 'josch' Schauer at 2021-01-27T16:13:01+01:00 debian/changelog: new entry - - - - - 1e5fdd3d by Johannes 'josch' Schauer at 2021-01-27T16:21:12+01:00 drop patches: everything is now upstream - - - - - 770db40d by Johannes 'josch' Schauer at 2021-01-27T16:21:50+01:00 debian/watch: upstream moved to gitlab.com/irill/dose3 - - - - - 20489945 by Johannes 'josch' Schauer at 2021-01-27T16:24:23+01:00 drop libdose3-ocaml package as there are no shared runtime stubs anymore - - - - - 43df6908 by Johannes 'josch' Schauer at 2021-01-27T16:28:14+01:00 bump dh compat to 13 and use debhelper-compat as B-D - - - - - 328adf5f by Johannes 'josch' Schauer at 2021-01-27T16:32:15+01:00 debian/rules: buildsystem switched to dune - - - - - 46392f84 by Johannes 'josch' Schauer at 2021-01-27T22:42:30+01:00 debian/control: adjust build dependencies - - - - - cd111e36 by Johannes 'josch' Schauer at 2021-01-27T22:42:31+01:00 debian/patches: add patch for ocamlgraph 1.8.6 - - - - - 3c246f08 by Johannes 'josch' Schauer at 2021-01-28T16:10:17+01:00 debian/rules: call dune build -p dose3 to avoid 'Error: Too many opam files for package' - - - - - b5b8475e by Johannes 'josch' Schauer at 2021-01-28T16:11:20+01:00 pick two patches from upstream to fix FTBFS - - - - - 7ed1870d by Johannes 'josch' Schauer at 2021-01-28T16:13:34+01:00 fix paths in *.install and *.manpages and *.docs - - - - - 6c283e67 by Johannes 'josch' Schauer at 2021-01-28T16:25:25+01:00 debian/copyright: fix paths that were moved into src - - - - - 519b808b by Johannes 'josch' Schauer at 2021-01-28T16:26:19+01:00 debian/rules: add DEB_BUILD_MAINT_OPTIONS = hardening=+all - - - - - fb2becda by Johannes 'josch' Schauer at 2021-01-28T17:38:17+01:00 debian/dose-doc.doc-base.libdose3-ocaml-dev: fix path - - - - - 8992afe5 by Johannes 'josch' Schauer at 2021-01-28T17:40:03+01:00 debian/rules: check DEB_BUILD_OPTIONS for nocheck before running tests - - - - - 5a7c46d8 by Johannes 'josch' Schauer at 2021-01-28T17:40:55+01:00 debian/update-cudf-solvers: fix typo opearte -> operate - - - - - e9d51f8e by Johannes 'josch' Schauer at 2021-01-28T17:41:36+01:00 debian/control: add Rules-Requires-Root: no - - - - - ddcea46c by Johannes 'josch' Schauer at 2021-01-28T17:58:23+01:00 do not override_dh_dwz anymore - - - - - b09fa595 by Johannes 'josch' Schauer at 2021-01-28T19:52:44+01:00 run wrap-and-sort - - - - - 39959d0f by Johannes 'josch' Schauer at 2021-01-28T19:52:47+01:00 debian/control: missing b-d on xz-utils - - - - - 96bab903 by Johannes 'josch' Schauer at 2021-01-31T22:41:53+01:00 debian/control: bump Standards-Version to 4.5.1 - - - - - 426c5ba6 by Johannes 'josch' Schauer at 2021-02-01T16:04:42+01:00 add patch making dose3 tests succeed on 32 bit arches - - - - - 712bfe94 by Johannes 'josch' Schauer at 2021-02-01T23:08:31+01:00 debian/changelog: release - - - - - 19 changed files: - .gitignore - + .gitlab-ci.yml - .gitmodules - + .ocamlformat - CHANGES - INSTALL - − META.in - Makefile - − Makefile.config.in - − _tags.in - − algo/algo.mlpack - − algo/diagnostic.ml - − applications/ceve.ml - − applications/challenged.ml - − applications/outdated.ml - − common/common.mlpack - − common/minisatSolver.ml - − common/tests.ml - − common/versionInfo.ml.in The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/dose3/-/compare/e1c56ac02780600e0a64cdad96c5d28985dfd032...712bfe947751d8d82b510fa2b4483dcd20c1ec4b -- View it on GitLab: https://salsa.debian.org/ocaml-team/dose3/-/compare/e1c56ac02780600e0a64cdad96c5d28985dfd032...712bfe947751d8d82b510fa2b4483dcd20c1ec4b You're receiving this email because of your account on salsa.debian.org.

