coq-equations

0 directories 12 files

Name	Size	Modified
Up
coq-equations_1.3-8.16-2build2.debian.tar.xz	2.3 KiB	02/17/2023 07:29:10 AM +00:00
coq-equations_1.3-8.16-2build2.dsc	2.1 KiB	02/17/2023 07:29:10 AM +00:00
coq-equations_1.3-8.16.orig.tar.gz	1.0 MiB	11/06/2022 03:17:27 AM +00:00
coq-equations_1.3-8.17-2build2.debian.tar.xz	2.6 KiB	09/04/2023 01:25:10 PM +00:00
coq-equations_1.3-8.17-2build2.dsc	2.1 KiB	09/04/2023 01:25:10 PM +00:00
coq-equations_1.3-8.17.orig.tar.gz	1.0 MiB	06/13/2023 11:34:30 AM +00:00
coq-equations_1.3-8.18-1build3.debian.tar.xz	2.8 KiB	04/08/2024 07:57:39 AM +00:00
coq-equations_1.3-8.18-1build3.dsc	2.2 KiB	04/08/2024 07:57:39 AM +00:00
coq-equations_1.3-8.18.orig.tar.gz	1.1 MiB	12/23/2023 05:16:59 PM +00:00
libcoq-equations_1.3-8.16-2build2_amd64.deb	1.6 MiB	02/17/2023 07:29:19 AM +00:00
libcoq-equations_1.3-8.17-2build2_amd64.deb	1.5 MiB	09/04/2023 02:14:14 PM +00:00
libcoq-equations_1.3-8.18-1build3_amd64.deb	1.5 MiB	04/08/2024 10:59:16 AM +00:00