felix.git/source/Checking/Legacy/Environment.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T19:00:28+00:00 Remove obsolete verification machinery 2026-08-03T19:00:28+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T19:00:28+00:00 urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4 Check admitted modules sequentially 2026-07-28T08:43:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T08:43:05+00:00 urn:sha1:60b4b379d4532c5a688f2dbf1e05736c636059c5