Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / prooftree
Commits:
-
c14b8c1e
by Stephane Glondu at 2023-08-16T09:42:27+02:00
4 changed files:
Changes:
| 1 | 1 | prooftree (0.13-3) UNRELEASED; urgency=medium
|
| 2 | 2 | |
| 3 | + [ Stéphane Glondu ]
|
|
| 4 | + * Remove Hendrik from Uploaders
|
|
| 5 | + * Bump debhelper compat level to 13
|
|
| 6 | + * Add Rules-Requires-Root: no
|
|
| 7 | + * Bump Standards-Version to 4.6.2
|
|
| 8 | + |
|
| 9 | + [ Debian Janitor ]
|
|
| 3 | 10 | * Use secure copyright file specification URI.
|
| 4 | 11 | * Use secure URI in Homepage field.
|
| 5 | - * Bump debhelper from deprecated 9 to 10.
|
|
| 6 | 12 | * Remove constraints unnecessary since buster (oldstable):
|
| 7 | 13 | + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~).
|
| 8 | 14 | + prooftree: Drop versioned constraint on coq (>= 8.4) in Depends.
|
| 1 | -10 |
| ... | ... | @@ -2,15 +2,14 @@ Source: prooftree |
| 2 | 2 | Section: science
|
| 3 | 3 | Priority: optional
|
| 4 | 4 | Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
|
| 5 | -Uploaders:
|
|
| 6 | - Hendrik Tews <hendrik@askra.de>
|
|
| 7 | 5 | Build-Depends:
|
| 8 | - debhelper (>= 10~),
|
|
| 6 | + debhelper-compat (= 13),
|
|
| 9 | 7 | dh-ocaml,
|
| 10 | 8 | coq,
|
| 11 | 9 | ocaml-best-compilers,
|
| 12 | 10 | liblablgtk2-ocaml-dev
|
| 13 | -Standards-Version: 3.9.8
|
|
| 11 | +Standards-Version: 4.6.2
|
|
| 12 | +Rules-Requires-Root: no
|
|
| 14 | 13 | Homepage: https://askra.de/software/prooftree
|
| 15 | 14 | Vcs-Git: https://salsa.debian.org/ocaml-team/prooftree.git
|
| 16 | 15 | Vcs-Browser: https://salsa.debian.org/ocaml-team/prooftree
|
| 1 | 1 | #!/usr/bin/make -f
|
| 2 | 2 | # -*- makefile -*-
|
| 3 | -# Sample debian/rules that uses debhelper.
|
|
| 4 | -# This file was originally written by Joey Hess and Craig Small.
|
|
| 5 | -# As a special exception, when this file is copied by dh-make into a
|
|
| 6 | -# dh-make output file, you may use that output file without restriction.
|
|
| 7 | -# This special exception was added by Craig Small in version 0.37 of dh-make.
|
|
| 8 | 3 | |
| 9 | -# Uncomment this to turn on verbose mode.
|
|
| 10 | -# export DH_VERBOSE=1
|
|
| 11 | -# export DH_OPTIONS=-v
|
|
| 12 | - |
|
| 13 | -# This has to be exported to make some magic below work.
|
|
| 14 | -export DH_OPTIONS
|
|
| 4 | +include /usr/share/ocaml/ocamlvars.mk
|
|
| 15 | 5 | |
| 16 | 6 | %:
|
| 17 | 7 | dh $@ --with ocaml
|
| 18 | 8 | |
| 19 | -.PHONY: override_dh_auto_clean
|
|
| 20 | -override_dh_auto_clean:
|
|
| 21 | - dh_auto_clean
|
|
| 9 | +execute_after_dh_auto_clean:
|
|
| 22 | 10 | rm -f Makefile
|
| 23 | 11 | |
| 24 | -.PHONY: override_dh_auto_configure
|
|
| 25 | 12 | override_dh_auto_configure:
|
| 26 | 13 | ./configure --prefix /usr |