-
Notifications
You must be signed in to change notification settings - Fork 1.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
16 packages from framagit.org/zoggy/stog/-/archive/1.0.0/stog-1.0.0.tar.gz #25486
Conversation
"All checks have failed" is a bit exaggerated... |
As in that case the old sources are still available at https://opam.robur.coop/cache/md5/40/40574cd88a7fc984adae1839fedb2b10 |
Is this something that requires an upper bound?
|
Co-authored-by: Marcello Seri <mseri@users.noreply.github.com>
For stog_writing 0.19.0, indeed we could add upper bound for menhir version: 20210310 |
I am assuming that the name changes were intentional:
|
Yes, this plugin is now part of stog repo and all package names were normalized to use |
I think it's ok, now. Thanks ! |
Thanks! |
This pull-request concerns:
stog.1.0.0
: Static web site compiler, able to handle blog posts as well asregular pages or any XML document in general
stog_all.1.0.0
: Virtual package to install all Stog libraries, tools andplugins
stog_asy.1.0.0
: Stog plugin to include Asymptote results in documentsstog_dot.1.0.0
: Stog plugin to generate and include graphviz graphs indocuments
stog_extern.1.0.0
: Stog plugin to pipe documents in external commandsstog_markdown.1.0.0
: Stog plugin to use markdown syntaxstog_multi_doc.1.0.0
: Stog plugin to define various documents in one filestog_nocaml.1.0.0
: Stog plugin to block commands executing ocaml codestog_noexec.1.0.0
: Stog plugin to prevent running command withstog_plugins.1.0.0
: Virtual package to install all Stog pluginsstog_rdf.1.0.0
: Stog plugin to generate rdf triples and execute sparqlqueries
stog_rel_href.1.0.0
: Stog plugin to generate relative urlsstog_server.1.0.0
: Stog server librarystog_server_multi.1.0.0
: Stog multi server librarystog_sitemap.1.0.0
: Stog plugin to generate a sitemap filestog_writing.1.0.0
: Stog plugin to generate table of contents andbibliographies
🐫 Pull-request generated by opam-publish v2.3.0