Index of /linux/debian/debian-ports/pool-sparc64/main/c/cvc5

 Name                                            Last modified      Size  
 Parent Directory                                                     -   
 cvc5-dbgsym_1.3.2-1+b2_sparc64.deb              2026-06-29 02:03  2.0M  
 cvc5_1.3.2-1+b2_sparc64.buildinfo               2026-06-29 02:03   11K  
 cvc5_1.3.2-1+b2_sparc64.deb                     2026-06-29 02:03  119K  
 libcvc5-1-dbgsym_1.3.2-1+b2_sparc64.deb         2026-06-29 02:03  192M  
 libcvc5-1_1.3.2-1+b2_sparc64.deb                2026-06-29 02:03  6.0M  
 libcvc5-dev_1.3.2-1+b2_sparc64.deb              2026-06-29 02:03  121K  
 libcvc5parser1-dbgsym_1.3.2-1+b2_sparc64.deb    2026-06-29 02:03  4.2M  
 libcvc5parser1_1.3.2-1+b2_sparc64.deb           2026-06-29 02:03  201K  
 python3-cvc5-dbgsym_1.3.2-1+b2_sparc64.deb      2026-06-29 02:03  1.2M  
 python3-cvc5_1.3.2-1+b2_sparc64.deb             2026-06-29 02:03  291K