This project gets the content of Apache HTTPD's mime types and makes it available for idris programs.
This project needs a working shell with cat, curl, sed, see the commands in generate.sh.
The build can be executed with
idris2 --build apache-mime-types.ipkg
or
pack build apache-mime-types.ipkg