![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| files/ | 01-Oct-2023 13:40 | - |
| dealii-9.4.0-r1.ebuild | 08-Dec-2022 05:10 | 5.7K |
| dealii-9.4.1-r1.ebuild | 08-Dec-2022 05:10 | 5.7K |
| dealii-9.5.1.ebuild | 04-Sep-2023 20:40 | 5.4K |
| dealii-9999.ebuild | 11-Jul-2023 05:10 | 5.0K |
| Manifest | 04-Sep-2023 20:40 | 5.5K |
| metadata.xml | 19-Nov-2022 05:10 | 2.3K |