coq-reglang

0 directories 11 files

Name	Size	Modified
Up
coq-reglang_1.1.3-2build2.debian.tar.xz	8.3 KiB	02/16/2023 06:50:17 PM +00:00
coq-reglang_1.1.3-2build2.dsc	2.1 KiB	02/16/2023 06:50:17 PM +00:00
coq-reglang_1.1.3-4build1.debian.tar.xz	8.3 KiB	07/24/2023 05:37:45 PM +00:00
coq-reglang_1.1.3-4build1.dsc	2.1 KiB	07/24/2023 05:37:45 PM +00:00
coq-reglang_1.1.3.orig.tar.gz	66 KiB	07/18/2022 11:48:59 PM +00:00
coq-reglang_1.2.1-1build5.debian.tar.xz	8.6 KiB	04/08/2024 07:57:41 AM +00:00
coq-reglang_1.2.1-1build5.dsc	2.1 KiB	04/08/2024 07:57:41 AM +00:00
coq-reglang_1.2.1.orig.tar.gz	68 KiB	01/21/2024 05:45:49 AM +00:00
libcoq-reglang_1.1.3-2build2_amd64.deb	805 KiB	02/16/2023 06:50:27 PM +00:00
libcoq-reglang_1.1.3-4build1_amd64.deb	805 KiB	07/25/2023 05:19:34 PM +00:00
libcoq-reglang_1.2.1-1build5_amd64.deb	805 KiB	04/08/2024 02:36:31 PM +00:00