Index of /deepin/pool/main/g/gringo/


../
gringo_5.1.0-4.debian.tar.xz                       20-Dec-2016 07:01               13544
gringo_5.1.0-4.dsc                                 20-Dec-2016 07:01                2023
gringo_5.1.0-4_amd64.deb                           20-Dec-2016 07:01             2357330
gringo_5.1.0-4_arm64.deb                           20-Dec-2016 07:41             2222396
gringo_5.1.0-4_i386.deb                            20-Dec-2016 07:26             2487004
gringo_5.1.0-4_mips64el.deb                        20-Dec-2016 08:41             2337458
gringo_5.1.0.orig.tar.gz                           11-Dec-2016 20:52             2232639
gringo_5.2.2-6.debian.tar.xz                       03-May-2018 06:41               13992
gringo_5.2.2-6.dsc                                 03-May-2018 06:41                2087
gringo_5.2.2-6_amd64.deb                           03-May-2018 07:27             2193472
gringo_5.2.2-6_i386.deb                            03-May-2018 07:27             2334100
gringo_5.2.2.orig.tar.gz                           10-Nov-2017 07:36             2642685