e031c5b41e
Drop upstreamed -flocq24 and -frama-c-sodium patches. Drop all gwhy-related sources, as gwhy has been retired. Merge (X)Emacs files into the main package due to change in policy.
3 lines
148 B
Text
3 lines
148 B
Text
cc7a2e360acf8569a2eb878f51bfc8ff krakatoa.pdf
|
|
10bde72f95de8bc34135a8207cfcc9ec why-2.35.tar.gz
|
|
ed5648bbfb5e74fdfb814cdd725b191e why-icons.tar.xz
|