[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Dr. Geo] [Bug 1590261] Re: The ppa is very old
From: |
hilaire |
Subject: |
[Dr. Geo] [Bug 1590261] Re: The ppa is very old |
Date: |
Mon, 18 Feb 2019 09:33:11 -0000 |
Yes, a new packaging is needed.
The DrGeo architecture changed quite a lot since then, it is developed wtih
Pharo. An update of the package will not be enough, a whole new debian package
needs to be developed.
** Changed in: drgeo
Status: New => Confirmed
--
You received this bug notification because you are a member of DrGeo
developers, which is subscribed to Dr. Geo II.
Matching subscriptions: Dr. Geo bug report
https://bugs.launchpad.net/bugs/1590261
Title:
The ppa is very old
Status in Dr. Geo II:
Confirmed
Bug description:
The version of Dr.Geo on the Ubuntu ppa is very old
To manage notifications about this bug go to:
https://bugs.launchpad.net/drgeo/+bug/1590261/+subscriptions
- [Dr. Geo] [Bug 1590261] Re: The ppa is very old,
hilaire <=