Opened 8 months ago
#68115 assigned request
paradiseo: new port to replace eo
| Reported by: | ryandesign (Ryan Carsten Schmidt) | Owned by: | jokuha (Jochen) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | ||
| Port: | paradiseo, eo |
Description
The last eo release was in 2012. On the eo project's page:
https://sourceforge.net/projects/eodev/
it says:
As of 2022-01-04, this project can be found here: https://nojhan.github.io/paradiseo/
So maybe a new paradiseo port should be created for its latest release and the eo port should be marked replaced_by paradiseo.
Note: See
TracTickets for help on using
tickets.