waterproof

waterproof copied to clipboard

pitmonticone

Bumps [minimist](https://github.com/minimistjs/minimist), [minimist](https://github.com/minimistjs/minimist), [mkdirp](https://github.com/isaacs/node-mkdirp) and [loader-fs-cache](https://github.com/viankakrisna/loader-fs-cache). These dependencies needed to be updated together. Updates `minimist` from 1.2.5 to 1.2.8 Changelog Sourced from minimist's changelog. v1.2.8 - 2023-02-09 Merged [Fix] Fix...

dependabot[bot]

Added method for querying vernac commands where the sentenceID to query from can be chosen. In addition, used this method to implemented running isolated coq commands (where chosen sentenceID =...

driverag22

Bumps [http-cache-semantics](https://github.com/kornelski/http-cache-semantics) from 4.1.0 to 4.1.1. Commits 2449650 Update mocha 560b2d8 Don't use regex to trim whitespace b1bdb92 Remove linting package zoo c20dc7e Cache 308 See full diff in compare...

dependabot[bot]

~~Should be relatively easy to also add support for text blocks at least Might still do that~~ Done!

davidot

Bumps [json5](https://github.com/json5/json5) to 2.2.3 and updates ancestor dependencies [json5](https://github.com/json5/json5), [json5](https://github.com/json5/json5), [@vue/cli-plugin-babel](https://github.com/vuejs/vue-cli/tree/HEAD/packages/@vue/cli-plugin-babel) and [@vue/cli-service](https://github.com/vuejs/vue-cli/tree/HEAD/packages/@vue/cli-service). These dependencies need to be updated together. Updates `json5` from 1.0.1 to 2.2.3 Release notes Sourced from...

dependabot[bot]

Bumps [flat](https://github.com/hughsk/flat) to 5.0.2 and updates ancestor dependency [@vue/cli-plugin-unit-mocha](https://github.com/vuejs/vue-cli/tree/HEAD/packages/@vue/cli-plugin-unit-mocha). These dependencies need to be updated together. Updates `flat` from 4.1.1 to 5.0.2 Commits e5ffd66 Release 5.0.2 fdb79d5 Update dependencies, refresh...

dependabot[bot]

Installing issues on Ubutun 22.04

1

Thanks for providing this software.! I tried to follow the installation instructions on Ubuntu 22.04. First the opam ppa doesn't work (at least not with Ubuntu 22.04). So I went...

PatrickMassot

Bumps [express](https://github.com/expressjs/express) from 4.17.1 to 4.18.2. Release notes Sourced from express's releases. 4.18.2 Fix regression routing a large stack in a single route deps: [email protected] deps: [email protected] perf: remove unnecessary...

dependabot[bot]

Bumps [qs](https://github.com/ljharb/qs) from 6.5.2 to 6.5.3. Changelog Sourced from qs's changelog. 6.5.3 [Fix] parse: ignore __proto__ keys (#428) [Fix] utils.merge: avoid a crash with a null target and a truthy...

dependabot[bot]