projects: ptolemy-core/ptolemy-core.cabal, ptolemy-reader-markdown/ptolemy-reader-markdown.cabal, ptolemy-writer-html/ptolemy-writer-html.cabal, ptolemy/ptolemy.cabal