ubuntu/pool/universe/o/ott • Public Open Source Mirror

Home / ubuntu / pool / universe / o / ott

File Name

Size

Date

..

—

—
libcoq-ott_0.33+ds-2build3_amd64.deb

177.44KB

2024-04-01 09:51:40

libcoq-ott_0.33+ds-4build4_amd64.deb

185.59KB

2024-09-07 18:44:00

libcoq-ott_0.34+ds-1build3_amd64.deb

179.14KB

2025-02-18 23:25:32

ott-tools_0.33+ds-2build3_amd64.deb

1.43MB

2024-04-01 09:51:40

ott-tools_0.33+ds-4build4_amd64.deb

1.58MB

2024-09-07 18:44:00

ott-tools_0.34+ds-1build3_amd64.deb

1.61MB

2025-02-18 23:25:32

ott_0.33+ds-2build3.debian.tar.xz

6.87KB

2024-04-01 08:43:19

ott_0.33+ds-2build3.dsc

2.14KB

2024-04-01 08:43:19

ott_0.33+ds-4build4.debian.tar.xz

8.14KB

2024-09-07 18:43:55

ott_0.33+ds-4build4.dsc

2.06KB

2024-09-07 18:43:55

ott_0.33+ds.orig.tar.xz

1.09MB

2023-06-13 08:30:00

ott_0.34+ds-1build3.debian.tar.xz

6.96KB

2025-02-18 23:25:06

ott_0.34+ds-1build3.dsc

2.06KB

2025-02-18 23:25:06

ott_0.34+ds.orig.tar.xz

1.09MB

2025-01-04 20:00:59