![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[DIR]](/icons/folder.gif){kind=icon} | libs/ | 2025-07-10 15:19 | - |
| figure-pdf/ | 2025-10-24 10:15 | - |
| figure-pdf-old/ | 2026-10-07 12:24 | - |
| figure-html/ | 2025-10-24 10:16 | - |
Unless otherwise specified, the files available here are covered under our data release policy.