Triple - Together we Inspire
/archive/pool/universe/c/coquelicot/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-coquelicot_3.4.2-1build2_amd64.deb 38560162024-Dec-20 14:16
coquelicot_3.4.2-1build2.dsc 20872024-Dec-20 14:16
coquelicot_3.4.2-1build2.debian.tar.xz 23842024-Dec-20 14:16
coquelicot_3.4.2.orig.tar.bz2 2302612024-Nov-20 18:47
libcoq-coquelicot_3.4.1-3build6_amd64.deb 38636342024-Sep-19 23:39
coquelicot_3.4.1-3build6.debian.tar.xz 23402024-Sep-17 15:51
coquelicot_3.4.1-3build6.dsc 20842024-Sep-17 15:51
libcoq-coquelicot_3.4.1-1build5_amd64.deb 37683222024-Apr-08 14:36
coquelicot_3.4.1-1build5.dsc 21632024-Apr-08 07:57
coquelicot_3.4.1-1build5.debian.tar.xz 23242024-Apr-08 07:57
coquelicot_3.4.1.orig.tar.gz 2815322024-Jan-20 23:35
coquelicot_0.9.6-1ubuntu1_all.deb 2943762018-Mar-02 10:53
coquelicot_0.9.6-1ubuntu1.dsc 22112018-Mar-02 10:53
coquelicot_0.9.6-1ubuntu1.debian.tar.xz 346202018-Mar-02 10:53
coquelicot_0.9.6.orig.tar.gz 1915852016-Dec-20 23:18
coquelicot_0.9.5-1_all.deb 3225362015-Oct-24 00:51
coquelicot_0.9.5.orig.tar.gz 1871942015-Oct-23 21:36
coquelicot_0.9.5-1.dsc 23392015-Oct-23 21:36
coquelicot_0.9.5-1.debian.tar.xz 343802015-Oct-23 21:36
coquelicot_0.9.2-2_all.deb 2808322013-Jun-17 12:33
coquelicot_0.9.2-2.dsc 22832013-Jun-17 11:33
coquelicot_0.9.2.orig.tar.gz 1747812013-Jun-17 11:33
coquelicot_0.9.2-2.debian.tar.gz 266432013-Jun-17 11:33