(lang dune 3.22)
(name belenios-lib)
(version 3.3.0)
(sections
 (lib /usr/lib/belenios-lib)
 (libexec /usr/lib/belenios-lib)
 (doc /usr/doc/belenios-lib))
(files
 (lib
  (META
   api/belenios_web_api.a
   api/belenios_web_api.cma
   api/belenios_web_api.cmi
   api/belenios_web_api.cmt
   api/belenios_web_api.cmti
   api/belenios_web_api.cmx
   api/belenios_web_api.cmxa
   api/belenios_web_api.ml
   api/belenios_web_api.mli
   api/belenios_web_api__.cmi
   api/belenios_web_api__.cmt
   api/belenios_web_api__.cmx
   api/belenios_web_api__.ml
   api/belenios_web_api__Common.cmi
   api/belenios_web_api__Common.cmt
   api/belenios_web_api__Common.cmti
   api/belenios_web_api__Common.cmx
   api/belenios_web_api__Endpoints.cmi
   api/belenios_web_api__Endpoints.cmt
   api/belenios_web_api__Endpoints.cmti
   api/belenios_web_api__Endpoints.cmx
   api/belenios_web_api__Serializable_j.cmi
   api/belenios_web_api__Serializable_j.cmt
   api/belenios_web_api__Serializable_j.cmti
   api/belenios_web_api__Serializable_j.cmx
   api/belenios_web_api__Serializable_t.cmi
   api/belenios_web_api__Serializable_t.cmt
   api/belenios_web_api__Serializable_t.cmti
   api/belenios_web_api__Serializable_t.cmx
   api/common.ml
   api/common.mli
   api/endpoints.ml
   api/endpoints.mli
   api/serializable_j.ml
   api/serializable_j.mli
   api/serializable_t.ml
   api/serializable_t.mli
   belenios.a
   belenios.cma
   belenios.cmi
   belenios.cmt
   belenios.cmti
   belenios.cmx
   belenios.cmxa
   belenios.ml
   belenios.mli
   belenios__.cmi
   belenios__.cmt
   belenios__.cmx
   belenios__.ml
   belenios__Election.cmi
   belenios__Election.cmt
   belenios__Election.cmti
   belenios__Election.cmx
   belenios__Group.cmi
   belenios__Group.cmt
   belenios__Group.cmti
   belenios__Group.cmx
   belenios__Language.cmi
   belenios__Language.cmt
   belenios__Language.cmti
   belenios__Language.cmx
   belenios__Trustees.cmi
   belenios__Trustees.cmt
   belenios__Trustees.cmti
   belenios__Trustees.cmx
   core/archive.ml
   core/archive.mli
   core/belenios_core.a
   core/belenios_core.cma
   core/belenios_core.cmi
   core/belenios_core.cmt
   core/belenios_core.cmx
   core/belenios_core.cmxa
   core/belenios_core.ml
   core/belenios_core__Archive.cmi
   core/belenios_core__Archive.cmt
   core/belenios_core__Archive.cmti
   core/belenios_core__Archive.cmx
   core/belenios_core__Common.cmi
   core/belenios_core__Common.cmt
   core/belenios_core__Common.cmti
   core/belenios_core__Common.cmx
   core/belenios_core__Common_types.cmi
   core/belenios_core__Common_types.cmt
   core/belenios_core__Common_types.cmti
   core/belenios_core__Common_types.cmx
   core/belenios_core__Credential.cmi
   core/belenios_core__Credential.cmt
   core/belenios_core__Credential.cmti
   core/belenios_core__Credential.cmx
   core/belenios_core__Crypto_std.cmi
   core/belenios_core__Crypto_std.cmt
   core/belenios_core__Crypto_std.cmti
   core/belenios_core__Crypto_std.cmx
   core/belenios_core__Ed25519_libsodium.cmi
   core/belenios_core__Ed25519_libsodium.cmt
   core/belenios_core__Ed25519_libsodium.cmti
   core/belenios_core__Ed25519_libsodium.cmx
   core/belenios_core__Ed25519_pure.cmi
   core/belenios_core__Ed25519_pure.cmt
   core/belenios_core__Ed25519_pure.cmti
   core/belenios_core__Ed25519_pure.cmx
   core/belenios_core__Events.cmi
   core/belenios_core__Events.cmt
   core/belenios_core__Events.cmti
   core/belenios_core__Events.cmx
   core/belenios_core__Group_field.cmi
   core/belenios_core__Group_field.cmt
   core/belenios_core__Group_field.cmti
   core/belenios_core__Group_field.cmx
   core/belenios_core__Majority_judgment.cmi
   core/belenios_core__Majority_judgment.cmt
   core/belenios_core__Majority_judgment.cmti
   core/belenios_core__Majority_judgment.cmx
   core/belenios_core__Password.cmi
   core/belenios_core__Password.cmt
   core/belenios_core__Password.cmti
   core/belenios_core__Password.cmx
   core/belenios_core__Pki.cmi
   core/belenios_core__Pki.cmt
   core/belenios_core__Pki.cmti
   core/belenios_core__Pki.cmx
   core/belenios_core__Question_sigs.cmi
   core/belenios_core__Question_sigs.cmti
   core/belenios_core__Schulze.cmi
   core/belenios_core__Schulze.cmt
   core/belenios_core__Schulze.cmti
   core/belenios_core__Schulze.cmx
   core/belenios_core__Serializable_core_j.cmi
   core/belenios_core__Serializable_core_j.cmt
   core/belenios_core__Serializable_core_j.cmti
   core/belenios_core__Serializable_core_j.cmx
   core/belenios_core__Serializable_core_t.cmi
   core/belenios_core__Serializable_core_t.cmt
   core/belenios_core__Serializable_core_t.cmti
   core/belenios_core__Serializable_core_t.cmx
   core/belenios_core__Serializable_j.cmi
   core/belenios_core__Serializable_j.cmt
   core/belenios_core__Serializable_j.cmti
   core/belenios_core__Serializable_j.cmx
   core/belenios_core__Serializable_t.cmi
   core/belenios_core__Serializable_t.cmt
   core/belenios_core__Serializable_t.cmti
   core/belenios_core__Serializable_t.cmx
   core/belenios_core__Signatures.cmi
   core/belenios_core__Signatures.cmt
   core/belenios_core__Signatures.cmx
   core/belenios_core__Signatures_core.cmi
   core/belenios_core__Signatures_core.cmt
   core/belenios_core__Signatures_core.cmx
   core/belenios_core__Stv.cmi
   core/belenios_core__Stv.cmt
   core/belenios_core__Stv.cmti
   core/belenios_core__Stv.cmx
   core/belenios_core__Tar.cmi
   core/belenios_core__Tar.cmt
   core/belenios_core__Tar.cmti
   core/belenios_core__Tar.cmx
   core/belenios_core__Trustees_sig.cmi
   core/belenios_core__Trustees_sig.cmti
   core/belenios_core__Util.cmi
   core/belenios_core__Util.cmt
   core/belenios_core__Util.cmti
   core/belenios_core__Util.cmx
   core/belenios_core__Versioned_sig.cmi
   core/belenios_core__Versioned_sig.cmti
   core/common.ml
   core/common.mli
   core/common_types.ml
   core/common_types.mli
   core/credential.ml
   core/credential.mli
   core/crypto_std.ml
   core/crypto_std.mli
   core/ed25519_libsodium.ml
   core/ed25519_libsodium.mli
   core/ed25519_pure.ml
   core/ed25519_pure.mli
   core/events.ml
   core/events.mli
   core/group_field.ml
   core/group_field.mli
   core/majority_judgment.ml
   core/majority_judgment.mli
   core/password.ml
   core/password.mli
   core/pki.ml
   core/pki.mli
   core/question_sigs.mli
   core/schulze.ml
   core/schulze.mli
   core/serializable_core_j.ml
   core/serializable_core_j.mli
   core/serializable_core_t.ml
   core/serializable_core_t.mli
   core/serializable_j.ml
   core/serializable_j.mli
   core/serializable_t.ml
   core/serializable_t.mli
   core/signatures.ml
   core/signatures_core.ml
   core/stv.ml
   core/stv.mli
   core/tar.ml
   core/tar.mli
   core/trustees_sig.mli
   core/util.ml
   core/util.mli
   core/versioned_sig.mli
   dune-package
   election.ml
   election.mli
   group.ml
   group.mli
   language.ml
   language.mli
   messages/belenios_messages.a
   messages/belenios_messages.cma
   messages/belenios_messages.cmi
   messages/belenios_messages.cmt
   messages/belenios_messages.cmx
   messages/belenios_messages.cmxa
   messages/belenios_messages.ml
   messages/belenios_messages__.cmi
   messages/belenios_messages__.cmt
   messages/belenios_messages__.cmx
   messages/belenios_messages__.ml
   messages/belenios_messages__Serializable_j.cmi
   messages/belenios_messages__Serializable_j.cmt
   messages/belenios_messages__Serializable_j.cmti
   messages/belenios_messages__Serializable_j.cmx
   messages/belenios_messages__Serializable_t.cmi
   messages/belenios_messages__Serializable_t.cmt
   messages/belenios_messages__Serializable_t.cmti
   messages/belenios_messages__Serializable_t.cmx
   messages/serializable_j.ml
   messages/serializable_j.mli
   messages/serializable_t.ml
   messages/serializable_t.mli
   opam
   question/belenios_question.a
   question/belenios_question.cma
   question/belenios_question.cmi
   question/belenios_question.cmt
   question/belenios_question.cmti
   question/belenios_question.cmx
   question/belenios_question.cmxa
   question/belenios_question.ml
   question/belenios_question.mli
   question/belenios_question__.cmi
   question/belenios_question__.cmt
   question/belenios_question__.cmx
   question/belenios_question__.ml
   question/belenios_question__Homomorphic.cmi
   question/belenios_question__Homomorphic.cmt
   question/belenios_question__Homomorphic.cmti
   question/belenios_question__Homomorphic.cmx
   question/belenios_question__Lists.cmi
   question/belenios_question__Lists.cmt
   question/belenios_question__Lists.cmti
   question/belenios_question__Lists.cmx
   question/belenios_question__Non_homomorphic.cmi
   question/belenios_question__Non_homomorphic.cmt
   question/belenios_question__Non_homomorphic.cmti
   question/belenios_question__Non_homomorphic.cmx
   question/belenios_question__Question_h_j.cmi
   question/belenios_question__Question_h_j.cmt
   question/belenios_question__Question_h_j.cmti
   question/belenios_question__Question_h_j.cmx
   question/belenios_question__Question_h_t.cmi
   question/belenios_question__Question_h_t.cmt
   question/belenios_question__Question_h_t.cmti
   question/belenios_question__Question_h_t.cmx
   question/belenios_question__Question_l_j.cmi
   question/belenios_question__Question_l_j.cmt
   question/belenios_question__Question_l_j.cmti
   question/belenios_question__Question_l_j.cmx
   question/belenios_question__Question_l_t.cmi
   question/belenios_question__Question_l_t.cmt
   question/belenios_question__Question_l_t.cmti
   question/belenios_question__Question_l_t.cmx
   question/belenios_question__Question_nh_j.cmi
   question/belenios_question__Question_nh_j.cmt
   question/belenios_question__Question_nh_j.cmti
   question/belenios_question__Question_nh_j.cmx
   question/belenios_question__Question_nh_t.cmi
   question/belenios_question__Question_nh_t.cmt
   question/belenios_question__Question_nh_t.cmti
   question/belenios_question__Question_nh_t.cmx
   question/belenios_question__Types.cmi
   question/belenios_question__Types.cmti
   question/homomorphic.ml
   question/homomorphic.mli
   question/lists.ml
   question/lists.mli
   question/non_homomorphic.ml
   question/non_homomorphic.mli
   question/question_h_j.ml
   question/question_h_j.mli
   question/question_h_t.ml
   question/question_h_t.mli
   question/question_l_j.ml
   question/question_l_j.mli
   question/question_l_t.ml
   question/question_l_t.mli
   question/question_nh_j.ml
   question/question_nh_j.mli
   question/question_nh_t.ml
   question/question_nh_t.mli
   question/types.mli
   trustees.ml
   trustees.mli
   v1/belenios_v1.a
   v1/belenios_v1.cma
   v1/belenios_v1.cmi
   v1/belenios_v1.cmt
   v1/belenios_v1.cmx
   v1/belenios_v1.cmxa
   v1/belenios_v1.ml
   v1/belenios_v1__Election.cmi
   v1/belenios_v1__Election.cmt
   v1/belenios_v1__Election.cmti
   v1/belenios_v1__Election.cmx
   v1/belenios_v1__Group.cmi
   v1/belenios_v1__Group.cmt
   v1/belenios_v1__Group.cmti
   v1/belenios_v1__Group.cmx
   v1/belenios_v1__Mixnet.cmi
   v1/belenios_v1__Mixnet.cmt
   v1/belenios_v1__Mixnet.cmti
   v1/belenios_v1__Mixnet.cmx
   v1/belenios_v1__Question.cmi
   v1/belenios_v1__Question.cmt
   v1/belenios_v1__Question.cmti
   v1/belenios_v1__Question.cmx
   v1/belenios_v1__Question_h.cmi
   v1/belenios_v1__Question_h.cmt
   v1/belenios_v1__Question_h.cmti
   v1/belenios_v1__Question_h.cmx
   v1/belenios_v1__Question_l.cmi
   v1/belenios_v1__Question_l.cmt
   v1/belenios_v1__Question_l.cmti
   v1/belenios_v1__Question_l.cmx
   v1/belenios_v1__Question_nh.cmi
   v1/belenios_v1__Question_nh.cmt
   v1/belenios_v1__Question_nh.cmti
   v1/belenios_v1__Question_nh.cmx
   v1/belenios_v1__Serializable_j.cmi
   v1/belenios_v1__Serializable_j.cmt
   v1/belenios_v1__Serializable_j.cmti
   v1/belenios_v1__Serializable_j.cmx
   v1/belenios_v1__Serializable_t.cmi
   v1/belenios_v1__Serializable_t.cmt
   v1/belenios_v1__Serializable_t.cmti
   v1/belenios_v1__Serializable_t.cmx
   v1/belenios_v1__Trustees.cmi
   v1/belenios_v1__Trustees.cmt
   v1/belenios_v1__Trustees.cmti
   v1/belenios_v1__Trustees.cmx
   v1/belenios_v1__Types.cmi
   v1/belenios_v1__Types.cmti
   v1/election.ml
   v1/election.mli
   v1/group.ml
   v1/group.mli
   v1/mixnet.ml
   v1/mixnet.mli
   v1/question.ml
   v1/question.mli
   v1/question_h.ml
   v1/question_h.mli
   v1/question_l.ml
   v1/question_l.mli
   v1/question_nh.ml
   v1/question_nh.mli
   v1/serializable_j.ml
   v1/serializable_j.mli
   v1/serializable_t.ml
   v1/serializable_t.mli
   v1/trustees.ml
   v1/trustees.mli
   v1/types.mli))
 (libexec
  (api/belenios_web_api.cmxs
   belenios.cmxs
   core/belenios_core.cmxs
   messages/belenios_messages.cmxs
   question/belenios_question.cmxs
   v1/belenios_v1.cmxs))
 (doc (CHANGES.md README.md)))
(library
 (name belenios-lib)
 (kind normal)
 (archives (byte belenios.cma) (native belenios.cmxa))
 (plugins (byte belenios.cma) (native belenios.cmxs))
 (native_archives belenios.a)
 (requires
  base64
  yojson
  atdgen-runtime
  re
  lwt
  belenios-platform
  (re_export belenios-lib.core)
  (re_export belenios-lib.question)
  belenios-lib.v1)
 (main_module_name Belenios)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name belenios__)
     (visibility public)
     (kind alias)
     (source (path Belenios__) (impl (path belenios__.ml-gen))))
    (name Belenios)
    (modules
     (module
      (obj_name belenios)
      (visibility public)
      (source
       (path Belenios)
       (intf (path belenios.mli))
       (impl (path belenios.ml))))
     (module
      (obj_name belenios__Election)
      (visibility public)
      (source
       (path Election)
       (intf (path election.mli))
       (impl (path election.ml))))
     (module
      (obj_name belenios__Group)
      (visibility public)
      (source (path Group) (intf (path group.mli)) (impl (path group.ml))))
     (module
      (obj_name belenios__Language)
      (visibility public)
      (source
       (path Language)
       (intf (path language.mli))
       (impl (path language.ml))))
     (module
      (obj_name belenios__Trustees)
      (visibility public)
      (source
       (path Trustees)
       (intf (path trustees.mli))
       (impl (path trustees.ml))))))
   (wrapped true))))
(library
 (name belenios-lib.api)
 (kind normal)
 (archives (byte api/belenios_web_api.cma) (native api/belenios_web_api.cmxa))
 (plugins (byte api/belenios_web_api.cma) (native api/belenios_web_api.cmxs))
 (native_archives api/belenios_web_api.a)
 (requires
  (re_export uri)
  base64
  yojson
  atdgen-runtime
  re
  lwt
  belenios-platform
  belenios-lib.core
  belenios-lib.question
  (re_export belenios-lib))
 (main_module_name Belenios_web_api)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name belenios_web_api__)
     (visibility public)
     (kind alias)
     (source
      (path Belenios_web_api__)
      (impl (path api/belenios_web_api__.ml-gen))))
    (name Belenios_web_api)
    (modules
     (module
      (obj_name belenios_web_api)
      (visibility public)
      (source
       (path Belenios_web_api)
       (intf (path api/belenios_web_api.mli))
       (impl (path api/belenios_web_api.ml))))
     (module
      (obj_name belenios_web_api__Common)
      (visibility public)
      (source
       (path Common)
       (intf (path api/common.mli))
       (impl (path api/common.ml))))
     (module
      (obj_name belenios_web_api__Endpoints)
      (visibility public)
      (source
       (path Endpoints)
       (intf (path api/endpoints.mli))
       (impl (path api/endpoints.ml))))
     (module
      (obj_name belenios_web_api__Serializable_j)
      (visibility public)
      (source
       (path Serializable_j)
       (intf (path api/serializable_j.mli))
       (impl (path api/serializable_j.ml))))
     (module
      (obj_name belenios_web_api__Serializable_t)
      (visibility public)
      (source
       (path Serializable_t)
       (intf (path api/serializable_t.mli))
       (impl (path api/serializable_t.ml))))))
   (wrapped true))))
(library
 (name belenios-lib.core)
 (kind normal)
 (archives (byte core/belenios_core.cma) (native core/belenios_core.cmxa))
 (plugins (byte core/belenios_core.cma) (native core/belenios_core.cmxs))
 (native_archives core/belenios_core.a)
 (requires
  (re_export base64)
  hex
  digestif
  (re_export yojson)
  biniou
  (re_export atdgen-runtime)
  (re_export re)
  lwt
  (re_export belenios-platform))
 (main_module_name Belenios_core)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name belenios_core)
     (visibility public)
     (kind alias)
     (source (path Belenios_core) (impl (path core/belenios_core.ml-gen))))
    (name Belenios_core)
    (modules
     (module
      (obj_name belenios_core__Archive)
      (visibility public)
      (source
       (path Archive)
       (intf (path core/archive.mli))
       (impl (path core/archive.ml))))
     (module
      (obj_name belenios_core__Common)
      (visibility public)
      (source
       (path Common)
       (intf (path core/common.mli))
       (impl (path core/common.ml))))
     (module
      (obj_name belenios_core__Common_types)
      (visibility public)
      (source
       (path Common_types)
       (intf (path core/common_types.mli))
       (impl (path core/common_types.ml))))
     (module
      (obj_name belenios_core__Credential)
      (visibility public)
      (source
       (path Credential)
       (intf (path core/credential.mli))
       (impl (path core/credential.ml))))
     (module
      (obj_name belenios_core__Crypto_std)
      (visibility public)
      (source
       (path Crypto_std)
       (intf (path core/crypto_std.mli))
       (impl (path core/crypto_std.ml))))
     (module
      (obj_name belenios_core__Ed25519_libsodium)
      (visibility public)
      (source
       (path Ed25519_libsodium)
       (intf (path core/ed25519_libsodium.mli))
       (impl (path core/ed25519_libsodium.ml))))
     (module
      (obj_name belenios_core__Ed25519_pure)
      (visibility public)
      (source
       (path Ed25519_pure)
       (intf (path core/ed25519_pure.mli))
       (impl (path core/ed25519_pure.ml))))
     (module
      (obj_name belenios_core__Events)
      (visibility public)
      (source
       (path Events)
       (intf (path core/events.mli))
       (impl (path core/events.ml))))
     (module
      (obj_name belenios_core__Group_field)
      (visibility public)
      (source
       (path Group_field)
       (intf (path core/group_field.mli))
       (impl (path core/group_field.ml))))
     (module
      (obj_name belenios_core__Majority_judgment)
      (visibility public)
      (source
       (path Majority_judgment)
       (intf (path core/majority_judgment.mli))
       (impl (path core/majority_judgment.ml))))
     (module
      (obj_name belenios_core__Password)
      (visibility public)
      (source
       (path Password)
       (intf (path core/password.mli))
       (impl (path core/password.ml))))
     (module
      (obj_name belenios_core__Pki)
      (visibility public)
      (source (path Pki) (intf (path core/pki.mli)) (impl (path core/pki.ml))))
     (module
      (obj_name belenios_core__Question_sigs)
      (visibility public)
      (source (path Question_sigs) (intf (path core/question_sigs.mli))))
     (module
      (obj_name belenios_core__Schulze)
      (visibility public)
      (source
       (path Schulze)
       (intf (path core/schulze.mli))
       (impl (path core/schulze.ml))))
     (module
      (obj_name belenios_core__Serializable_core_j)
      (visibility public)
      (source
       (path Serializable_core_j)
       (intf (path core/serializable_core_j.mli))
       (impl (path core/serializable_core_j.ml))))
     (module
      (obj_name belenios_core__Serializable_core_t)
      (visibility public)
      (source
       (path Serializable_core_t)
       (intf (path core/serializable_core_t.mli))
       (impl (path core/serializable_core_t.ml))))
     (module
      (obj_name belenios_core__Serializable_j)
      (visibility public)
      (source
       (path Serializable_j)
       (intf (path core/serializable_j.mli))
       (impl (path core/serializable_j.ml))))
     (module
      (obj_name belenios_core__Serializable_t)
      (visibility public)
      (source
       (path Serializable_t)
       (intf (path core/serializable_t.mli))
       (impl (path core/serializable_t.ml))))
     (module
      (obj_name belenios_core__Signatures)
      (visibility public)
      (source (path Signatures) (impl (path core/signatures.ml))))
     (module
      (obj_name belenios_core__Signatures_core)
      (visibility public)
      (source (path Signatures_core) (impl (path core/signatures_core.ml))))
     (module
      (obj_name belenios_core__Stv)
      (visibility public)
      (source (path Stv) (intf (path core/stv.mli)) (impl (path core/stv.ml))))
     (module
      (obj_name belenios_core__Tar)
      (visibility public)
      (source (path Tar) (intf (path core/tar.mli)) (impl (path core/tar.ml))))
     (module
      (obj_name belenios_core__Trustees_sig)
      (visibility public)
      (source (path Trustees_sig) (intf (path core/trustees_sig.mli))))
     (module
      (obj_name belenios_core__Util)
      (visibility public)
      (source
       (path Util)
       (intf (path core/util.mli))
       (impl (path core/util.ml))))
     (module
      (obj_name belenios_core__Versioned_sig)
      (visibility public)
      (source (path Versioned_sig) (intf (path core/versioned_sig.mli))))))
   (wrapped true))))
(library
 (name belenios-lib.messages)
 (kind normal)
 (archives
  (byte messages/belenios_messages.cma)
  (native messages/belenios_messages.cmxa))
 (plugins
  (byte messages/belenios_messages.cma)
  (native messages/belenios_messages.cmxs))
 (native_archives messages/belenios_messages.a)
 (requires
  unix
  cryptokit
  uri
  base64
  yojson
  atdgen-runtime
  re
  lwt
  belenios-platform
  belenios-lib.core
  belenios-lib.question
  belenios-lib
  belenios-lib.api)
 (main_module_name Belenios_messages)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name belenios_messages__)
     (visibility public)
     (kind alias)
     (source
      (path Belenios_messages__)
      (impl (path messages/belenios_messages__.ml-gen))))
    (name Belenios_messages)
    (modules
     (module
      (obj_name belenios_messages)
      (visibility public)
      (source
       (path Belenios_messages)
       (impl (path messages/belenios_messages.ml))))
     (module
      (obj_name belenios_messages__Serializable_j)
      (visibility public)
      (source
       (path Serializable_j)
       (intf (path messages/serializable_j.mli))
       (impl (path messages/serializable_j.ml))))
     (module
      (obj_name belenios_messages__Serializable_t)
      (visibility public)
      (source
       (path Serializable_t)
       (intf (path messages/serializable_t.mli))
       (impl (path messages/serializable_t.ml))))))
   (wrapped true))))
(library
 (name belenios-lib.question)
 (kind normal)
 (archives
  (byte question/belenios_question.cma)
  (native question/belenios_question.cmxa))
 (plugins
  (byte question/belenios_question.cma)
  (native question/belenios_question.cmxs))
 (native_archives question/belenios_question.a)
 (requires
  base64
  yojson
  atdgen-runtime
  re
  lwt
  belenios-platform
  belenios-lib.core)
 (main_module_name Belenios_question)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name belenios_question__)
     (visibility public)
     (kind alias)
     (source
      (path Belenios_question__)
      (impl (path question/belenios_question__.ml-gen))))
    (name Belenios_question)
    (modules
     (module
      (obj_name belenios_question)
      (visibility public)
      (source
       (path Belenios_question)
       (intf (path question/belenios_question.mli))
       (impl (path question/belenios_question.ml))))
     (module
      (obj_name belenios_question__Homomorphic)
      (visibility public)
      (source
       (path Homomorphic)
       (intf (path question/homomorphic.mli))
       (impl (path question/homomorphic.ml))))
     (module
      (obj_name belenios_question__Lists)
      (visibility public)
      (source
       (path Lists)
       (intf (path question/lists.mli))
       (impl (path question/lists.ml))))
     (module
      (obj_name belenios_question__Non_homomorphic)
      (visibility public)
      (source
       (path Non_homomorphic)
       (intf (path question/non_homomorphic.mli))
       (impl (path question/non_homomorphic.ml))))
     (module
      (obj_name belenios_question__Question_h_j)
      (visibility public)
      (source
       (path Question_h_j)
       (intf (path question/question_h_j.mli))
       (impl (path question/question_h_j.ml))))
     (module
      (obj_name belenios_question__Question_h_t)
      (visibility public)
      (source
       (path Question_h_t)
       (intf (path question/question_h_t.mli))
       (impl (path question/question_h_t.ml))))
     (module
      (obj_name belenios_question__Question_l_j)
      (visibility public)
      (source
       (path Question_l_j)
       (intf (path question/question_l_j.mli))
       (impl (path question/question_l_j.ml))))
     (module
      (obj_name belenios_question__Question_l_t)
      (visibility public)
      (source
       (path Question_l_t)
       (intf (path question/question_l_t.mli))
       (impl (path question/question_l_t.ml))))
     (module
      (obj_name belenios_question__Question_nh_j)
      (visibility public)
      (source
       (path Question_nh_j)
       (intf (path question/question_nh_j.mli))
       (impl (path question/question_nh_j.ml))))
     (module
      (obj_name belenios_question__Question_nh_t)
      (visibility public)
      (source
       (path Question_nh_t)
       (intf (path question/question_nh_t.mli))
       (impl (path question/question_nh_t.ml))))
     (module
      (obj_name belenios_question__Types)
      (visibility public)
      (source (path Types) (intf (path question/types.mli))))))
   (wrapped true))))
(library
 (name belenios-lib.v1)
 (kind normal)
 (archives (byte v1/belenios_v1.cma) (native v1/belenios_v1.cmxa))
 (plugins (byte v1/belenios_v1.cma) (native v1/belenios_v1.cmxs))
 (native_archives v1/belenios_v1.a)
 (requires
  base64
  yojson
  atdgen-runtime
  re
  lwt
  belenios-platform
  belenios-lib.core
  belenios-lib.question)
 (main_module_name Belenios_v1)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name belenios_v1)
     (visibility public)
     (kind alias)
     (source (path Belenios_v1) (impl (path v1/belenios_v1.ml-gen))))
    (name Belenios_v1)
    (modules
     (module
      (obj_name belenios_v1__Election)
      (visibility public)
      (source
       (path Election)
       (intf (path v1/election.mli))
       (impl (path v1/election.ml))))
     (module
      (obj_name belenios_v1__Group)
      (visibility public)
      (source
       (path Group)
       (intf (path v1/group.mli))
       (impl (path v1/group.ml))))
     (module
      (obj_name belenios_v1__Mixnet)
      (visibility public)
      (source
       (path Mixnet)
       (intf (path v1/mixnet.mli))
       (impl (path v1/mixnet.ml))))
     (module
      (obj_name belenios_v1__Question)
      (visibility public)
      (source
       (path Question)
       (intf (path v1/question.mli))
       (impl (path v1/question.ml))))
     (module
      (obj_name belenios_v1__Question_h)
      (visibility public)
      (source
       (path Question_h)
       (intf (path v1/question_h.mli))
       (impl (path v1/question_h.ml))))
     (module
      (obj_name belenios_v1__Question_l)
      (visibility public)
      (source
       (path Question_l)
       (intf (path v1/question_l.mli))
       (impl (path v1/question_l.ml))))
     (module
      (obj_name belenios_v1__Question_nh)
      (visibility public)
      (source
       (path Question_nh)
       (intf (path v1/question_nh.mli))
       (impl (path v1/question_nh.ml))))
     (module
      (obj_name belenios_v1__Serializable_j)
      (visibility public)
      (source
       (path Serializable_j)
       (intf (path v1/serializable_j.mli))
       (impl (path v1/serializable_j.ml))))
     (module
      (obj_name belenios_v1__Serializable_t)
      (visibility public)
      (source
       (path Serializable_t)
       (intf (path v1/serializable_t.mli))
       (impl (path v1/serializable_t.ml))))
     (module
      (obj_name belenios_v1__Trustees)
      (visibility public)
      (source
       (path Trustees)
       (intf (path v1/trustees.mli))
       (impl (path v1/trustees.ml))))
     (module
      (obj_name belenios_v1__Types)
      (visibility public)
      (source (path Types) (intf (path v1/types.mli))))))
   (wrapped true))))
