anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #27532 from codinuum/diffast-20250303

diffast meta-package modified to include all relevant packages

authored by

Marcello Seri and committed by
GitHub 5a54ee27 ee32f89d

+2 -4
+2 -4
packages/diffast/diffast.0.1.1/opam
··· 23 23 "diffast-etc" {= version} 24 24 "diffast-api" {= version} 25 25 "diffast-cli" {= version} 26 - "diffast-langs-common" {= version} 27 - "odoc" {with-doc} 28 - ] 29 - depopts: [ 30 26 "diffast-git" {= version} 31 27 "diffast-git-cli" {= version} 28 + "diffast-langs-common" {= version} 32 29 "diffast-langs-cpp-parsing" {= version} 33 30 "diffast-langs-cpp-spec" {= version} 34 31 "diffast-langs-cpp" {= version} ··· 44 41 "diffast-langs-verilog-parsing" {= version} 45 42 "diffast-langs-verilog-spec" {= version} 46 43 "diffast-langs-verilog" {= version} 44 + "odoc" {with-doc} 47 45 ] 48 46 build: [ 49 47 ["dune" "subst"] {dev}