felix.git/test/phase5/exact-producer.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-01T16:51:16+00:00 Check exact declarations in typed modules 2026-08-01T16:51:16+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T16:51:16+00:00 urn:sha1:a3acbb47a0827ecd2e5e137db2b7b04af5126b48