Index of /debian/pool/main/a/astk/

../
astk_1.13.1-2.debian.tar.xz                        26-Apr-2023 13:42     28K
astk_1.13.1-2.dsc                                  26-Apr-2023 13:42    2102
astk_1.13.1.orig.tar.gz                            26-Apr-2023 13:42    763K
code-aster-gui_1.13.1-2_all.deb                    26-Apr-2023 13:42    310K
code-aster-run_1.13.1-2_all.deb                    26-Apr-2023 13:42    209K