Date: Fri, 01 May 2015 15:02:12 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 199839] net/openmpi-devel : this port is older than net/openmpi ... delete it? Message-ID: <bug-199839-13@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=199839 Bug ID: 199839 Summary: net/openmpi-devel : this port is older than net/openmpi ... delete it? Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: danilo@FreeBSD.org Reporter: marino@FreeBSD.org Flags: maintainer-feedback?(danilo@FreeBSD.org) Assignee: danilo@FreeBSD.org net/openmpi version = 1.8.4 net/openmpi-devel version = 1.7.5 No ports are dependent on the -devel version. Why does it exist? Can we just remove it? -- 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-199839-13>