Copied from
ubuntu raring in
Primary Archive for Ubuntu
Changelog
semantik (0.8.3-0ubuntu1) raring; urgency=low
* New upstream release.
* debian/patches/kubuntu_01_wscript_log.diff: Refresh.
* debian/patches/kubuntu_02_menu_entry_fix.diff: Drop, as it is no longer
necessary.
* debian/patches/ocaml-link-str.diff: Drop, as it is no longer necessary.
* debian/patches/qreal-arm.diff: Drop, as it is no longer necessary.
* debian/rules: Remove broken --want-rpath argument.
-- Logan Rosen <email address hidden> Sun, 03 Mar 2013 20:58:40 -0500