Date: Wed, 04 Dec 2024 03:12:43 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 283111] math/coq: Update to 8.20 Message-ID: <bug-283111-7788-2MsO1i2xD1@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-283111-7788@https.bugs.freebsd.org/bugzilla/> References: <bug-283111-7788@https.bugs.freebsd.org/bugzilla/>
next in thread | previous in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D283111 wen <wenheping2000@hotmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|math/coq=EF=BC=9A Update to 8.20 |math/coq: Update t= o 8.20 --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-283111-7788-2MsO1i2xD1>