gnu: texmaker: Update to 5.0.3.
authorTobias Geerinckx-Rice <me@tobias.gr>
Mon, 11 Mar 2019 00:08:22 +0000 (01:08 +0100)
committerTobias Geerinckx-Rice <me@tobias.gr>
Mon, 11 Mar 2019 01:08:03 +0000 (02:08 +0100)
commit585be42f46543d04f51153071f7610e5835c8a27
treec612c88cf299fd4d0008cb5d85065ca66d7f3632
parentdbfb24824bfc7f5cfe6913ff2ec06f7a33e49895
gnu: texmaker: Update to 5.0.3.

* gnu/packages/tex.scm (texmaker): Update to 5.0.3.
gnu/packages/tex.scm