debian/5.00-1

pere@hungry.com

69693009 · releasing package tetex-brev version 5.00-1 · Jun 20, 2024

tagging package tetex-brev version debian/5.00-1