Triple - Together we Inspire
/pool/universe/c/coquelicot/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-coquelicot_3.4.1-2build4_amd64.deb 38636522024-Jun-15 21:48
coquelicot_3.4.1-2build4.dsc 20842024-Jun-15 14:43
coquelicot_3.4.1-2build4.debian.tar.xz 22002024-Jun-15 14:43
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
libcoq-coquelicot_3.3.1-1build1_amd64.deb 37712382023-Jul-25 17:19
coquelicot_3.3.1-1build1.dsc 20842023-Jul-24 17:37
coquelicot_3.3.1-1build1.debian.tar.xz 19522023-Jul-24 17:37
coquelicot_3.3.1.orig.tar.gz 2797672023-Jun-14 23:24
libcoq-coquelicot_3.2.0-8build2_amd64.deb 37471122023-Feb-16 18:50
coquelicot_3.2.0-8build2.debian.tar.xz 24522023-Feb-16 18:50
coquelicot_3.2.0-8build2.dsc 20842023-Feb-16 18:50
coquelicot_3.2.0.orig.tar.gz 2777362022-May-13 07:20
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