Index of /ubuntu/pool/main/r/re2c
Name
Last modified
Size
Description
Parent Directory
-
re2c_0.13.5-1build2.diff.gz
2012-10-08 22:21
3.3K
re2c_0.13.5-1build2.dsc
2012-10-08 22:21
1.7K
re2c_0.13.5-1build2_amd64.deb
2012-10-08 22:21
203K
re2c_0.13.5-1build2_i386.deb
2012-10-08 22:22
201K
re2c_0.13.5.orig.tar.gz
2008-11-06 00:09
764K
re2c_0.16-1.debian.tar.xz
2016-01-23 02:38
3.4K
re2c_0.16-1.dsc
2016-01-23 02:38
1.7K
re2c_0.16-1_amd64.deb
2016-01-23 02:38
215K
re2c_0.16-1_i386.deb
2016-01-23 02:39
220K
re2c_0.16.orig.tar.gz
2016-01-23 02:38
4.7M
re2c_1.0.1-1.debian.tar.xz
2017-08-23 17:14
5.5K
re2c_1.0.1-1.dsc
2017-08-23 17:14
1.4K
re2c_1.0.1-1_amd64.deb
2017-08-23 17:14
268K
re2c_1.0.1-1_i386.deb
2017-08-23 17:15
283K
re2c_1.0.1.orig.tar.gz
2017-08-23 17:14
5.5M
re2c_1.3-1build1.debian.tar.xz
2020-03-21 12:48
7.3K
re2c_1.3-1build1.dsc
2020-03-21 12:48
1.9K
re2c_1.3-1build1_amd64.deb
2020-03-21 12:58
253K
re2c_1.3-1build1_i386.deb
2020-03-21 13:04
267K
re2c_1.3-1ubuntu0.1.debian.tar.xz
2020-04-28 12:33
8.1K
re2c_1.3-1ubuntu0.1.dsc
2020-04-28 12:33
1.9K
re2c_1.3-1ubuntu0.1_amd64.deb
2020-04-28 12:33
253K
re2c_1.3-1ubuntu0.1_i386.deb
2020-04-28 12:33
267K
re2c_1.3.orig.tar.xz
2020-01-09 23:18
1.2M
re2c_3.0-1.debian.tar.xz
2022-02-03 17:28
8.6K
re2c_3.0-1.dsc
2022-02-03 17:28
1.9K
re2c_3.0-1_amd64.deb
2022-02-03 17:49
446K
re2c_3.0-1_i386.deb
2022-02-03 17:49
474K
re2c_3.0-2.debian.tar.xz
2022-12-05 05:39
8.7K
re2c_3.0-2.dsc
2022-12-05 05:39
1.9K
re2c_3.0-2_amd64.deb
2022-12-05 05:39
447K
re2c_3.0-2_i386.deb
2022-12-05 05:39
472K
re2c_3.0.orig.tar.xz
2022-02-03 17:28
1.4M
re2c_3.1-1.debian.tar.xz
2023-08-08 17:24
9.0K
re2c_3.1-1.dsc
2023-08-08 17:24
1.9K
re2c_3.1-1_amd64.deb
2023-08-08 17:24
445K
re2c_3.1-1_i386.deb
2023-08-08 17:24
474K
re2c_3.1-1build1.debian.tar.xz
2024-04-08 17:02
9.1K
re2c_3.1-1build1.dsc
2024-04-08 17:02
2.0K
re2c_3.1-1build1_amd64.deb
2024-04-08 17:02
446K
re2c_3.1-1build1_i386.deb
2024-04-08 17:04
474K
re2c_3.1.orig.tar.xz
2023-08-08 17:24
1.4M
Apache/2.4.52 (Ubuntu) Server at mirror.liquidrp.de Port 80