Index of /trisquel/packages/pool/main/c/coq-deriving

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-deriving_0.2.0.orig.tar.gz2023-12-25 17:31 31K 
[ ]coq-deriving_0.2.0-1build2.debian.tar.xz2024-02-17 00:37 2.2K 
[TXT]coq-deriving_0.2.0-1build2.dsc2024-02-17 00:37 2.1K 
[ ]libcoq-deriving_0.2.0-1build2_amd64.deb2024-02-17 15:52 480K 
[ ]libcoq-deriving_0.2.0-1build2_ppc64el.deb2024-02-17 15:52 480K 
[ ]libcoq-deriving_0.2.0-1build2_arm64.deb2024-03-30 00:45 480K 
[ ]libcoq-deriving_0.2.0-1build2_armhf.deb2024-03-30 00:53 480K 
[ ]libcoq-deriving_0.2.0-1build2_riscv64.deb2024-03-30 01:18 480K 
[ ]coq-deriving_0.2.0-1build5.debian.tar.xz2024-04-08 07:57 2.3K 
[TXT]coq-deriving_0.2.0-1build5.dsc2024-04-08 07:57 2.1K 
[ ]libcoq-deriving_0.2.0-1build5_amd64.deb2024-04-08 17:55 480K 
[ ]libcoq-deriving_0.2.0-1build5_arm64.deb2024-04-08 19:24 480K 
[ ]libcoq-deriving_0.2.0-1build5_armhf.deb2024-04-08 19:24 480K 
[ ]libcoq-deriving_0.2.0-1build5_ppc64el.deb2024-04-08 20:09 480K 
[ ]libcoq-deriving_0.2.0-1build5_riscv64.deb2024-04-09 05:15 480K 
[ ]coq-deriving_0.2.1.orig.tar.gz2024-12-18 23:41 31K 
[ ]coq-deriving_0.2.1-1build14.debian.tar.xz2026-03-07 19:00 2.5K 
[TXT]coq-deriving_0.2.1-1build14.dsc2026-03-07 19:00 2.1K 
[ ]libcoq-deriving_0.2.1-1build14_amd64.deb2026-03-07 19:01 545K 
[ ]libcoq-deriving_0.2.1-1build14_riscv64.deb2026-03-07 20:20 545K 
[ ]libcoq-deriving_0.2.1-1build14_arm64.deb2026-03-08 09:04 545K 
[ ]libcoq-deriving_0.2.1-1build14_ppc64el.deb2026-03-08 09:04 545K