Leonidas-from-XIV
diff --git a/‎lintcstubs-gen.opam‎
Lines changed: 0 additions & 3 deletions b/‎lintcstubs-gen.opam‎
Lines changed: 0 additions & 3 deletions
diff --git a/‎lintcstubs-gen.opam.template‎
Lines changed: 0 additions & 3 deletions b/‎lintcstubs-gen.opam.template‎
Lines changed: 0 additions & 3 deletions
diff --git a/‎lintcstubs.opam‎
Lines changed: 0 additions & 3 deletions b/‎lintcstubs.opam‎
Lines changed: 0 additions & 3 deletions
diff --git a/‎lintcstubs.opam.template‎
Lines changed: 0 additions & 3 deletions b/‎lintcstubs.opam.template‎
Lines changed: 0 additions & 3 deletions
@@ -31,6 +31,3 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/edwintorok/lintcstubs.git"
-pin-depends: [
-	["lintcstubs-arity.0.2.2" "git+https://github.com/edwintorok/lintcstubs-arity.git#0.2.2"]
-]
@@ -37,6 +37,3 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/edwintorok/lintcstubs.git"
-pin-depends: [
-	["dune-compiledb.0.4.0" "git+https://github.com/edwintorok/dune-compiledb.git#0.4.0"]
-]
Original file line number	Diff line number	Diff line change
`@@ -31,6 +31,3 @@ build: [`
`31`	`31`	`["dune" "install" "-p" name "--create-install-files" name]`
`32`	`32`	`]`
`33`	`33`	`dev-repo: "git+https://github.com/edwintorok/lintcstubs.git"`
`34`		`-pin-depends: [`
`35`		`- ["lintcstubs-arity.0.2.2" "git+https://github.com/edwintorok/lintcstubs-arity.git#0.2.2"]`
`36`		`-]`
Original file line number	Diff line number	Diff line change
`@@ -37,6 +37,3 @@ build: [`
`37`	`37`	`["dune" "install" "-p" name "--create-install-files" name]`
`38`	`38`	`]`
`39`	`39`	`dev-repo: "git+https://github.com/edwintorok/lintcstubs.git"`
`40`		`-pin-depends: [`
`41`		`- ["dune-compiledb.0.4.0" "git+https://github.com/edwintorok/dune-compiledb.git#0.4.0"]`
`42`		`-]`