![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Data/ | 2018-07-24 17:00 | - | |
| PGF.hs | 2023-03-01 10:05 | 15K | |
| PGF/ | 2025-01-07 12:05 | - | |
| pgf.cabal | 2023-11-17 14:05 | 1.6K | |
| stack-ghc7.10.3.yaml | 2021-07-06 18:05 | 51 | |
| stack-ghc8.0.2.yaml | 2021-07-06 18:05 | 31 | |
| stack-ghc8.10.4.yaml | 2021-07-06 18:05 | 32 | |