search

mCRL2org / mCRL2

The Git repository for the mCRL2 toolset.
https://mcrl2.org/
Boost Software License 1.0
87 stars 36 forks source link

Add version numbers to library names #569

Closed jgroote closed 14 years ago

jgroote commented 15 years ago

Issue migrated from trac ticket # 566

component: Build system | priority: minor | resolution: wontfix

2009-02-10 15:11:05: jwulp@win.tue.nl created the issue

jgroote commented 15 years ago

2009-03-18 22:54:13: jwulp@win.tue.nl changed status from new to assigned

jgroote commented 15 years ago

2009-03-18 22:54:13: jwulp@win.tue.nl changed type from defect to enhancement

jgroote commented 14 years ago

2009-09-18 08:58:08: @jkeiren changed status from accepted to assigned

jgroote commented 14 years ago

2009-09-18 08:58:08: @jkeiren changed owner from jwulp to wieger

jgroote commented 14 years ago

2009-09-18 08:58:08: @jkeiren commented

Reassigned according to new component owners

jgroote commented 14 years ago

2010-02-05 08:32:36: @jkeiren changed status from assigned to closed

jgroote commented 14 years ago

2010-02-05 08:32:36: @jkeiren set resolution to wontfix

jgroote commented 14 years ago

2010-02-05 08:32:36: @jkeiren commented

Decided to ignore this issue, it is too much of an administrative overheid for now, per discussion in the developer's meeting d.d. 4/2/2010