Bug#687001: optional-dev: source package is available

[Dmitry Smirnov]

Source package is available from 

  https://mentors.debian.net/package/optional-dev


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org