![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| compile.sh | 06-Feb-2021 10:00 | 332 | |
| create_info_files.cpp | 06-Feb-2021 10:00 | 10K | |
| make_sumfiles.in | 06-Feb-2021 10:00 | 474K | |
| ocams.mk | 06-Feb-2021 10:00 | 12K | |
| process_infofiles.sh | 06-Feb-2021 10:00 | 4.8K | |
| renameSumfiles.sh | 06-Feb-2021 10:00 | 2.1K | |
| run.sh | 06-Feb-2021 10:00 | 2.7K | |