Bug#970775: texlive-science: ebproof fails with Undefined control sequence

To: Hilmar Preuße <hille42@web.de>, 970775@bugs.debian.org
Cc: Emmanuel Hainry <ehainry@laposte.net>
Subject: Bug#970775: texlive-science: ebproof fails with Undefined control sequence
From: Norbert Preining <preining@logic.at>
Date: Wed, 23 Sep 2020 23:15:41 +0900
Message-id: <[🔎] 20200923141541.GB298412@bulldog.preining.info>
Reply-to: Norbert Preining <preining@logic.at>, 970775@bugs.debian.org
In-reply-to: <[🔎] 7961d4ed-7db1-6225-a693-99afdad42c60@web.de>
References: <[🔎] 160084903813.19016.17859211289374549145.reportbug@moonbeam.loria.fr> <[🔎] 160084903813.19016.17859211289374549145.reportbug@moonbeam.loria.fr> <[🔎] 7961d4ed-7db1-6225-a693-99afdad42c60@web.de> <[🔎] 160084903813.19016.17859211289374549145.reportbug@moonbeam.loria.fr>

On Wed, 23 Sep 2020, Hilmar Preuße wrote:
> Package is already ON CTAN. Good, good. Let's see when I'll find time to

And already in upstream TeX Live. So the next checkout will contain the
fixed package.

Hilmar, should I prepare a new one, or do you want to try?

Norbert

--
PREINING Norbert                              https://www.preining.info
Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13

Reply to:

References:
- Bug#970775: texlive-science: ebproof fails with Undefined control sequence
  - From: Emmanuel Hainry <ehainry@laposte.net>
- Bug#970775: texlive-science: ebproof fails with Undefined control sequence
  - From: Hilmar Preuße <hille42@web.de>

Prev by Date: Bug#970775: texlive-science: ebproof fails with Undefined control sequence
Next by Date: Bug#970775: marked as done (texlive-science: ebproof fails with Undefined control sequence)
Previous by thread: Bug#970775: texlive-science: ebproof fails with Undefined control sequence
Next by thread: Bug#970775: marked as done (texlive-science: ebproof fails with Undefined control sequence)
Index(es):
- Date
- Thread