Index of /distfiles/bazel-central-registry/modules/cudd/3.0.0.bcr.1

      Name                                                                             Last modified      Size  
      Parent Directory                                                                                      -   
      overlay/                                                                         2025-08-04 11:02    -   
      patches/                                                                         2025-08-04 11:02    -   
      MODULE.bazel                                                                     2025-08-04 11:02  151   
      presubmit.yml                                                                    2025-08-04 11:02  305   
      source.json                                                                      2025-08-04 11:02  591