-
Notifications
You must be signed in to change notification settings - Fork 24
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
Update upstream packages #655
Merged
Merged
Changes from 1 commit
Commits
Show all changes
58 commits
Select commit
Hold shift + click to select a range
2589f64
xs: update polly to 0.4.1
psafont 9b27a77
xs: update qmp to 0.20.0
psafont a6c8397
upstream: update unix-errno to 0.6.2
psafont 9f32f23
xs: update xapi-rrd to 1.10.0
psafont 67da506
upstream-extra: update merlin lib
psafont a734505
upstream-extra: update utop to 2.13.1
psafont 816b96d
upstream: update dune libraries
psafont 78c3144
xs-extra: remove duplicate packages
psafont 64f37c0
upstream: move in goblint-cil
psafont e58723f
upstream: update menhir packages to 20230608
psafont 9929f17
xs-extra: remove ocaml-migrate-parsetree from dependency
psafont dcccad9
upstream: update ssl to 0.6.0
psafont 3703868
upstream: update cohttp packages to 5.2.0
psafont b1f9f45
upstream: update conduit packages to 6.2.0
psafont 7584364
upstream: update ctypes packages to 0.21.1
psafont f2554ba
upstream: update tar packages to 2.3.0
psafont 3947954
upstream: update ipaddr packages to 5.5.0
psafont c7fbf77
upstream: update bigstringaf to 0.9.1
psafont 579d9cd
upstream: update zarith to 1.13
psafont 0a75d8a
upstream: update inotify to 2.4.1
psafont 2a23153
upstream: update lwt_log to 1.1.2
psafont 6812bea
upstream: update lwt_ssl to 1.2.0
psafont 4c450a6
upstream: update opentelemetry to 0.5
psafont 293f736
upstream: update afl-persistent to 1.4
psafont 3d15523
upstream: update jsonrpc to 1.16.2
psafont 59ca702
upstream: update x509 to 0.16.5
psafont 51ee427
upstream: update alcotest packages to 1.7.0
psafont c6d0ebd
upstream: update json-data-encodings to 1.0.0
psafont 748b6e4
upstream-extra: update zed to 3.2.2
psafont 1a2822c
upstream: update Bünzli's packages
psafont 76ffe3d
upstream: update ocamlfind to 1.9.6
psafont e835261
upstream: update qcheck packages to 0.21.2
psafont 5c33d3b
upstream-extra: clean the ounit2 dependency metadata
psafont 20fceba
upstream: update ounit packages to 2.2.7
psafont 8a01863
upstream: update base64 to 3.5.1
psafont 14d9886
upstream: update sha to 1.15.4
psafont c597750
upstream: update duration to 0.2.1
psafont 6cb7e75
upstream: update ocamlbuild to 0.14.2
psafont 0ba62c5
upstream: update yojson to 2.1.0
psafont f23bb21
upstream: update magic-mime to 1.3.0
psafont 1a72110
upstream: update catapult packages to 0.2
psafont 2c79889
upstream: update mtime to 2.0.0
psafont 0f4a6e3
upstream: update conf-perl to 2
psafont db79dec
upstream: update conf-pkg-config to 3
psafont 3cb1a59
upstream-extra: update merge-fmt to 0.3
psafont c8ab5df
upstream-extra: update lambda-term to 3.3.2
psafont ad9d222
upstream: update csexp to 1.5.2
psafont 898a302
upstream: update odoc-parser to 1.0.1
psafont fc93e92
upstream: update pbrt to 2.4
psafont 10bd7e7
upstream: update mirage-block-unix to 2.14.2
psafont 4bc9b47
upstream: update mirage-block to 3.0.2
psafont abc7d7b
upstream: update lwt to 5.7.0
psafont 639e45f
upstream: update ppx libraries
psafont a1e9984
upstream: update re to 1.11.0
psafont f0eddff
upstream: update pp to 1.2.0
psafont 88f9e3a
upstream: update batteries to 3.7.1
psafont b20fb68
upstream: sync contents with upstream repository
psafont 4accc29
upstream-extra: sync contents with upstream repository
psafont File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,31 @@ | ||
| opam-version: "2.0" | ||
| name: "polly" | ||
| version: "0.4.1" | ||
| synopsis: "Bindings for the Linux epoll system call" | ||
| description: """\ | ||
| Bindings for the Linux epoll system call. The binding avoids | ||
| most allocation in the event loop by iterating over all file | ||
| descriptors that are reported as ready.""" | ||
| maintainer: "Christian Lindig <[email protected]>" | ||
| authors: "Christian Lindig <[email protected]>" | ||
| license: "MIT" | ||
| homepage: "https://github.com/lindig/polly" | ||
| bug-reports: "https://github.com/lindig/polly/issues" | ||
| depends: [ | ||
| "dune" {>= "2.0"} | ||
| "ocaml" {>= "4.08.0"} | ||
| "cmdliner" {>= "1.1.0"} | ||
| "base-unix" | ||
| "conf-linux-libc-dev" | ||
| ] | ||
| build: ["dune" "build" "-p" name "-j" jobs "@install"] | ||
| dev-repo: "git://github.com/lindig/polly.git" | ||
| url { | ||
| src: | ||
| "https://github.com/lindig/polly/releases/download/0.4.1/polly-0.4.1.tbz" | ||
| checksum: [ | ||
| "sha256=d96859f459fc9c072600e0446593959ff34bb82efc38f00b3d14c464ced10ad6" | ||
| "sha512=76ebec8f3581f8223d50094cbf592c66bbc8f3c7e97a027e10327e0813ca6ecdc041fd93b8a0e80aa4c6d391e43a806d37031f26d04716b26ebad72905debc7e" | ||
| ] | ||
| } | ||
| x-commit-hash: "2bab081f360329739517cb8f2b6ac9b507a5ee27" | ||
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There were quite a few changes to the C bindings here, I think there might still be some outstanding PRs on the upstream repo that I didn't review, I'll try to take another look.