Ehmry - ccc2f4f79f Modify type of ERIS­manifest ... Convert the manifest to have a more general type.		2023-09-29 11:18:31 +01:00
..
default.nix	Update ERIS and record URN mappings in ELF notes	2022-10-07 21:30:32 -05:00
eris_patch.nim	Modify type of ERIS­manifest	2023-09-29 11:18:31 +01:00
eris_patch.sh	Update ERIS and record URN mappings in ELF notes	2022-10-07 21:30:32 -05:00