debian/5.0.3-1

Joachim Reichel

@reichel

fbd97819 · Adapt to renaming of /usr/share/doc/CGAL-x.y.z to /usr/share/doc/CGAL. · Aug 03, 2020

cgal Debian release 5.0.3-1