Index of /ubuntu/pool/universe/c/cvc5

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] cvc5_1.0.3-1.debian...> 2022-12-20 14:29  5.8K  
[TXT] cvc5_1.0.3-1.dsc        2022-12-20 14:29  2.3K  
[   ] cvc5_1.0.3-1_amd64.deb  2022-12-20 14:49   96K  
[   ] cvc5_1.0.3.orig.tar.gz  2022-12-20 14:29  7.9M  
[   ] cvc5_1.0.5-3.debian...> 2023-06-24 14:45  6.9K  
[TXT] cvc5_1.0.5-3.dsc        2023-06-24 14:45  2.4K  
[   ] cvc5_1.0.5-3_amd64.deb  2023-06-25 11:04   88K  
[   ] cvc5_1.0.5-3build1.d..> 2024-01-20 11:50  7.0K  
[TXT] cvc5_1.0.5-3build1.dsc  2024-01-20 11:50  2.4K  
[   ] cvc5_1.0.5.orig.tar.gz  2023-06-21 02:39  8.0M  
[   ] cvc5_1.0.8-1.debian...> 2024-01-21 14:30  6.2K  
[TXT] cvc5_1.0.8-1.dsc        2024-01-21 14:30  2.4K  
[   ] cvc5_1.0.8-1_amd64.deb  2024-01-21 15:14   91K  
[   ] cvc5_1.0.8.orig.tar.gz  2024-01-21 14:30  8.0M  
[   ] cvc5_1.1.1-1.debian...> 2024-03-30 03:18  6.8K  
[TXT] cvc5_1.1.1-1.dsc        2024-03-30 03:18  2.4K  
[   ] cvc5_1.1.1-1_amd64.deb  2024-03-30 03:33   93K  
[   ] cvc5_1.1.1.orig.tar.gz  2024-03-30 03:18  8.1M  
[   ] cvc5_1.1.2-1.debian...> 2024-03-03 14:23  6.3K  
[TXT] cvc5_1.1.2-1.dsc        2024-03-03 14:23  2.4K  
[   ] cvc5_1.1.2-1_amd64.deb  2024-03-03 15:07   94K  
[   ] cvc5_1.1.2-1build1.d..> 2024-03-31 21:36  6.4K  
[TXT] cvc5_1.1.2-1build1.dsc  2024-03-31 21:36  2.5K  
[   ] cvc5_1.1.2-1build1_a..> 2024-04-01 06:46   93K  
[   ] cvc5_1.1.2-2.debian...> 2024-05-03 04:55  7.2K  
[TXT] cvc5_1.1.2-2.dsc        2024-05-03 04:55  2.4K  
[   ] cvc5_1.1.2-2_amd64.deb  2024-05-03 05:39   93K  
[   ] cvc5_1.1.2.orig.tar.gz  2024-03-03 14:23  8.2M  
[   ] libcvc5-1_1.0.3-1_am..> 2022-12-20 14:49  4.6M  
[   ] libcvc5-1_1.0.5-3_am..> 2023-06-25 11:04  4.6M  
[   ] libcvc5-1_1.0.8-1_am..> 2024-01-21 15:14  4.7M  
[   ] libcvc5-1_1.1.1-1_am..> 2024-03-30 03:33  4.8M  
[   ] libcvc5-1_1.1.2-1_am..> 2024-03-03 15:07  4.8M  
[   ] libcvc5-1_1.1.2-1bui..> 2024-04-01 06:46  4.8M  
[   ] libcvc5-1_1.1.2-2_am..> 2024-05-03 05:39  4.9M  
[   ] libcvc5-dev_1.0.3-1_..> 2022-12-20 14:49   52K  
[   ] libcvc5-dev_1.0.5-3_..> 2023-06-25 11:04   53K  
[   ] libcvc5-dev_1.0.8-1_..> 2024-01-21 15:14   56K  
[   ] libcvc5-dev_1.1.1-1_..> 2024-03-30 03:33   70K  
[   ] libcvc5-dev_1.1.2-1_..> 2024-03-03 15:07   82K  
[   ] libcvc5-dev_1.1.2-1b..> 2024-04-01 06:46   82K  
[   ] libcvc5-dev_1.1.2-2_..> 2024-05-03 05:39   82K  
[   ] libcvc5parser1_1.0.3..> 2022-12-20 14:49  297K  
[   ] libcvc5parser1_1.0.5..> 2023-06-25 11:04  344K  
[   ] libcvc5parser1_1.0.8..> 2024-01-21 15:14  194K  
[   ] libcvc5parser1_1.1.1..> 2024-03-30 03:33  204K  
[   ] libcvc5parser1_1.1.2..> 2024-03-03 15:07  205K  
[   ] libcvc5parser1_1.1.2..> 2024-04-01 06:46  205K  
[   ] libcvc5parser1_1.1.2..> 2024-05-03 05:39  205K  
[   ] python3-cvc5_1.0.5-3..> 2023-06-25 11:04  239K  
[   ] python3-cvc5_1.0.8-1..> 2024-01-21 15:14  287K  
[   ] python3-cvc5_1.1.1-1..> 2024-03-30 03:33  335K  
[   ] python3-cvc5_1.1.2-1..> 2024-03-03 15:07  339K  
[   ] python3-cvc5_1.1.2-1..> 2024-04-01 06:46  339K  
[   ] python3-cvc5_1.1.2-2..> 2024-05-03 05:39  341K