![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
![[deb]](/theme/icons/deb.svg){kind=icon} | ginac-tools_1.7.2-2_amd64.deb | 2017-01-16 23:09 | 83K |
| ginac-tools_1.7.5-1_amd64.deb | 2019-02-17 15:31 | 84K |
| libginac-dev_1.7.2-2_amd64.deb | 2017-01-16 23:09 | 1.1M |
| libginac-dev_1.7.5-1_amd64.deb | 2019-02-17 15:31 | 1.1M |
| libginac6_1.7.2-2_amd64.deb | 2017-01-16 23:09 | 782K |
| libginac6_1.7.5-1_amd64.deb | 2019-02-17 15:31 | 795K |