Skip to content

Commit

Permalink
Lint OPAM files with unreleased packages
Browse files Browse the repository at this point in the history
  • Loading branch information
dinosaure committed Oct 11, 2024
1 parent 210f259 commit 8c6c739
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 0 deletions.
8 changes: 8 additions & 0 deletions ptt-bin.opam
Original file line number Diff line number Diff line change
Expand Up @@ -33,3 +33,11 @@ depends: [
build: ["dune" "build" "-p" name "-j" jobs]
run-test: ["dune" "runtest" "-p" name "-j" jobs]
dev-repo: "git+https://github.com/mirage/ptt.git"
pin-depends: [
[ "uspf.dev" "git+https://github.com/mirage/uspf.git#5bbdbbaebd533278d82055ef9bfcf5c0d13dd50d" ]
[ "uspf-lwt.dev" "git+https://github.com/mirage/uspf.git#5bbdbbaebd533278d82055ef9bfcf5c0d13dd50d" ]
[ "colombe.dev" "git+https://github.com/mirage/colombe.git#ad3055263b1ac7ea4bc5d41f76450296d7c9ef73" ]
[ "sendmail.dev" "git+https://github.com/mirage/colombe.git#ad3055263b1ac7ea4bc5d41f76450296d7c9ef73" ]
[ "sendmail-lwt.dev" "git+https://github.com/mirage/colombe.git#ad3055263b1ac7ea4bc5d41f76450296d7c9ef73" ]
[ "sendmail-mirage.dev" "git+https://github.com/mirage/colombe.git#ad3055263b1ac7ea4bc5d41f76450296d7c9ef73" ]
]
9 changes: 9 additions & 0 deletions ptt.opam
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@ depends: [
"received" {>= "0.5.1"}
"sendmail" {>= "0.7.0"}
"sendmail-lwt" {>= "0.6.0"}
"sendmail-mirage"
"mimic"
"domain-name"
"dns"
Expand All @@ -42,6 +43,7 @@ depends: [
"mirage-random" {>= "2.0.0"}
"mirage-time" {>= "2.0.1"}
"uspf"
"uspf-mirage"
"data-encoding" {>= "0.7"}
"ptime"
"spamtacus-mirage"
Expand All @@ -54,4 +56,11 @@ pin-depends: [
[ "spamtacus-bayesian.dev" "git+https://github.com/mirage/spamtacus.git#2d10c6f114e63621bb26999fefd7881f3e673bad" ]
[ "spamtacus.dev" "git+https://github.com/mirage/spamtacus.git#2d10c6f114e63621bb26999fefd7881f3e673bad" ]
[ "spamtacus-mirage.dev" "git+https://github.com/mirage/spamtacus.git#2d10c6f114e63621bb26999fefd7881f3e673bad" ]
[ "uspf.dev" "git+https://github.com/mirage/uspf.git#5bbdbbaebd533278d82055ef9bfcf5c0d13dd50d" ]
[ "uspf-lwt.dev" "git+https://github.com/mirage/uspf.git#5bbdbbaebd533278d82055ef9bfcf5c0d13dd50d" ]
[ "uspf-mirage.dev" "git+https://github.com/mirage/uspf.git#5bbdbbaebd533278d82055ef9bfcf5c0d13dd50d" ]
[ "colombe.dev" "git+https://github.com/mirage/colombe.git#ad3055263b1ac7ea4bc5d41f76450296d7c9ef73" ]
[ "sendmail.dev" "git+https://github.com/mirage/colombe.git#ad3055263b1ac7ea4bc5d41f76450296d7c9ef73" ]
[ "sendmail-lwt.dev" "git+https://github.com/mirage/colombe.git#ad3055263b1ac7ea4bc5d41f76450296d7c9ef73" ]
[ "sendmail-mirage.dev" "git+https://github.com/mirage/colombe.git#ad3055263b1ac7ea4bc5d41f76450296d7c9ef73" ]
]

0 comments on commit 8c6c739

Please sign in to comment.