sphinx>=1.3.6
sphinx-autobuild>=0.6.0
recommonmark>=0.4.0
sphinx_rtd_theme>=0.1.9
pygments>=2.1.3
javasphinx>=0.9.13
git+https://github.com/metaborg/metaborg-pygments.git@dynsem-lexer#egg=metaborg-pygments

sphinx>=1.3.6
sphinx-autobuild>=0.6.0
recommonmark>=0.4.0
sphinx_rtd_theme>=0.1.9
pygments>=2.1.3
javasphinx>=0.9.13
git+https://github.com/metaborg/metaborg-pygments.git@master#egg=metaborg-pygments

Change required Pygments repository to master branch because the DynSem lexer has been merged into master
Change required Pygments repository to master branch because the DynSem lexer has been merged into master
