# of packages per conflict | # of packages per depchain | packages with (possibly transitive) conflicting dependencies | Depchain 1 | Depchain2 | Conflict |
354 |
320 | src:0install-solver src:aac-tactics src:advi src:belenios src:ben src:bibtex2html src:bin-prot src:biniou (RFA: #934539) src:bisect-ppx src:cairo-ocaml (RFA: #932166) src:calendar src:caml2html (RFA: #934531) src:camlbz2 src:camlidl (1032503) src:camlimages src:camljava src:camlmix src:camlp-streams src:camlp5 src:camlp5-buildscripts src:camlpdf src:camltemplate src:camlzip src:camomile src:cmdliner src:coccinelle src:coinst src:coq src:cryptgps src:cudf src:dose3 src:easy-format src:eliom src:extlib src:facile (RFA: #731586) src:fieldslib src:findlib src:frama-c (RFH: #907946) src:gd4o src:headache src:hevea src:hlins src:jane-street-headers src:janest-base src:js-of-ocaml src:js-of-ocaml-ocamlbuild src:jsonm src:lablgl src:lablgtk3 src:labltk src:laby src:lambda-term src:ledit src:lem src:linksem src:lwt src:lwt-log src:lwt-ssl src:mcl14 src:menhir src:misery src:mlgmp src:mlpcap src:mlpost src:morsmall src:mysql-ocaml src:not-ocamlfind src:nproc src:nss-passwords src:nurpawiki src:oasis (RFA: #934044) src:obus src:ocaml-afl-persistent src:ocaml-alcotest src:ocaml-alsa src:ocaml-angstrom src:ocaml-ansi-terminal src:ocaml-ao src:ocaml-asn1-combinators src:ocaml-astring src:ocaml-atd src:ocaml-backoff src:ocaml-base64 src:ocaml-batteries src:ocaml-benchmark src:ocaml-bigarray-compat src:ocaml-bigstringaf src:ocaml-bitstring src:ocaml-bjack src:ocaml-bos src:ocaml-ca-certs src:ocaml-cairo2 src:ocaml-charinfo-width src:ocaml-cinaps src:ocaml-cohttp src:ocaml-conduit src:ocaml-config-file src:ocaml-containers src:ocaml-cpu src:ocaml-crunch src:ocaml-cry src:ocaml-csexp src:ocaml-cstruct src:ocaml-ctypes src:ocaml-curses src:ocaml-dbus (RFA: #735882) src:ocaml-digestif src:ocaml-domain-local-await src:ocaml-domain-name src:ocaml-dscheck src:ocaml-dssi src:ocaml-dtools src:ocaml-dune src:ocaml-duppy src:ocaml-duration src:ocaml-eqaf src:ocaml-expat src:ocaml-expect (RFA: #934211) src:ocaml-extunix src:ocaml-faad src:ocaml-ffmpeg src:ocaml-fileutils (RFA: #933559) src:ocaml-flac src:ocaml-fmt src:ocaml-fpath src:ocaml-frei0r src:ocaml-gavl src:ocaml-gen src:ocaml-getopt src:ocaml-gettext src:ocaml-gmap src:ocaml-gnuplot src:ocaml-gstreamer src:ocaml-hex src:ocaml-hmap src:ocaml-inifiles (RFA: #731590) src:ocaml-inotify (RFA: #784037) src:ocaml-integers src:ocaml-intrinsics-kernel src:ocaml-ipaddr src:ocaml-iter src:ocaml-kdf src:ocaml-ladspa src:ocaml-lame src:ocaml-lastfm src:ocaml-libvirt src:ocaml-linenoise src:ocaml-lo src:ocaml-logs src:ocaml-luv src:ocaml-mad src:ocaml-magic src:ocaml-magic-mime src:ocaml-markup src:ocaml-mccs src:ocaml-mdx src:ocaml-mem-usage src:ocaml-merlin src:ocaml-metadata src:ocaml-mew src:ocaml-mew-vi src:ocaml-mirage-clock src:ocaml-mirage-crypto src:ocaml-mirage-kv src:ocaml-mirage-kv-mem src:ocaml-mm src:ocaml-mmap src:ocaml-monolith src:ocaml-mtime src:ocaml-multicore-bench src:ocaml-multicore-magic src:ocaml-multicoretests src:ocaml-num src:ocaml-obuild src:ocaml-octavius src:ocaml-odoc src:ocaml-ogg src:ocaml-ohex src:ocaml-optint src:ocaml-opus src:ocaml-oseq src:ocaml-parany src:ocaml-parsexp src:ocaml-pbkdf src:ocaml-portaudio src:ocaml-pp src:ocaml-pprint src:ocaml-ptime src:ocaml-ptmap src:ocaml-pulseaudio src:ocaml-qcheck src:ocaml-qtest src:ocaml-randomconv src:ocaml-re src:ocaml-reins src:ocaml-res (RFA: #934212) src:ocaml-result src:ocaml-rope src:ocaml-rresult src:ocaml-samplerate src:ocaml-saturn src:ocaml-sedlex src:ocaml-sexplib0 src:ocaml-sha src:ocaml-shine src:ocaml-shout src:ocaml-soundtouch src:ocaml-spdx-licenses src:ocaml-speex src:ocaml-sqlite3 src:ocaml-ssl src:ocaml-stdcompat src:ocaml-stdio src:ocaml-stdlib-random src:ocaml-stringext src:ocaml-swhid-core src:ocaml-theora src:ocaml-thread-table src:ocaml-time-now src:ocaml-topkg src:ocaml-trie src:ocaml-uri src:ocaml-usb src:ocaml-uucd src:ocaml-uunf src:ocaml-uuseg src:ocaml-version src:ocaml-visitors src:ocaml-voaacenc src:ocaml-vorbis src:ocaml-websocket src:ocaml-x509 src:ocaml-xmlplaylist src:ocaml-zarith src:ocaml-zarith-stubs-js src:ocamlagrep src:ocamlcreal src:ocamldap src:ocamldsort src:ocamlformat src:ocamlgraph src:ocamlgsl (RFA: #784036) src:ocamlify (RFA: #784035) src:ocamlmod (RFA: #784034) src:ocamlnet src:ocamlpam src:ocamlrss src:ocamlviz src:ocamlwc src:ocamlweb src:ocp-indent src:ocplib-endian src:ocplib-simplex src:ocsigenserver src:ocsipersist src:ocurl src:omake src:omd src:opam src:opam-0install-cudf src:opam-file-format src:ounit src:pagodacf src:parmap src:pcre2-ocaml src:perl4caml src:pgocaml src:planets src:polygen (O: #876670) src:postgresql-ocaml src:ppx-assert src:ppx-base src:ppx-bin-prot src:ppx-cold src:ppx-compare src:ppx-custom-printf src:ppx-derivers src:ppx-deriving src:ppx-deriving-yojson src:ppx-enumerate src:ppx-expect src:ppx-fields-conv src:ppx-globalize src:ppx-here src:ppx-inline-test src:ppx-js-style src:ppx-let src:ppx-optcomp src:ppx-sexp-conv src:ppx-string src:ppx-variants-conv src:ppx-yojson-conv src:ppx-yojson-conv-lib src:ppxlib src:pxp (RFA: #636021) src:pyml src:react src:reactivedata src:sexplib310 src:spamoracle src:syslog-ocaml src:tophide src:typerep src:tyxml src:ulex src:unison-2.53 src:utop src:uuidm src:uutf src:variantslib src:virt-top src:why3 src:wyrd src:xen src:xml-light src:xmlm src:xstr (RFA: #784032) src:xstrp4 (RFA: #731511) src:yojson src:zed (RFP: #1076165) | (*) → ocaml → gcc → gcc-14 → | (*) → build-essential → g++ → gcc-14 |
gcc-14:armhf |
24 | src:coq-bignums src:coq-corn src:coq-deriving src:coq-ext-lib src:coq-extructures src:coq-hott src:coq-interval src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-record-update src:coq-reglang src:coq-simple-io src:coquelicot src:flocq src:mathcomp-algebra-tactics src:mathcomp-analysis src:mathcomp-bigenough src:mathcomp-finmap src:mathcomp-multinomials src:mathcomp-real-closed src:mathcomp-zify src:paramcoq | (*) → coq → ocaml → gcc → gcc-14 → | (*) → build-essential → g++ → gcc-14 |
5 | src:coq-iris src:coq-reduction-effects src:coq-relation-algebra src:coq-stdpp src:coq-unicoq | (*) → coq → ocaml → gcc → gcc-14 → | (*) → build-essential → g++ → gcc-14 |
2 | src:coq-hammer src:coq-unimath | (*) → coq → ocaml → gcc → gcc-14 → | (*) → build-essential → g++ → gcc-14 |
1 | src:coq-gappa | (*) → libcoq-core-ocaml-dev → ocaml → gcc → gcc-14 → | (*) → build-essential → g++ → gcc-14 |
1 | src:coqeal | (*) → coq → ocaml → gcc → gcc-14 → | (*) → build-essential → g++ → gcc-14 |
1 | src:ssreflect | (*) → coq → ocaml → gcc → gcc-14 → | (*) → build-essential → g++ → gcc-14 |
354 |
320 | src:0install-solver src:aac-tactics src:advi src:belenios src:ben src:bibtex2html src:bin-prot src:biniou (RFA: #934539) src:bisect-ppx src:cairo-ocaml (RFA: #932166) src:calendar src:caml2html (RFA: #934531) src:camlbz2 src:camlidl (1032503) src:camlimages src:camljava src:camlmix src:camlp-streams src:camlp5 src:camlp5-buildscripts src:camlpdf src:camltemplate src:camlzip src:camomile src:cmdliner src:coccinelle src:coinst src:coq src:cryptgps src:cudf src:dose3 src:easy-format src:eliom src:extlib src:facile (RFA: #731586) src:fieldslib src:findlib src:frama-c (RFH: #907946) src:gd4o src:headache src:hevea src:hlins src:jane-street-headers src:janest-base src:js-of-ocaml src:js-of-ocaml-ocamlbuild src:jsonm src:lablgl src:lablgtk3 src:labltk src:laby src:lambda-term src:ledit src:lem src:linksem src:lwt src:lwt-log src:lwt-ssl src:mcl14 src:menhir src:misery src:mlgmp src:mlpcap src:mlpost src:morsmall src:mysql-ocaml src:not-ocamlfind src:nproc src:nss-passwords src:nurpawiki src:oasis (RFA: #934044) src:obus src:ocaml-afl-persistent src:ocaml-alcotest src:ocaml-alsa src:ocaml-angstrom src:ocaml-ansi-terminal src:ocaml-ao src:ocaml-asn1-combinators src:ocaml-astring src:ocaml-atd src:ocaml-backoff src:ocaml-base64 src:ocaml-batteries src:ocaml-benchmark src:ocaml-bigarray-compat src:ocaml-bigstringaf src:ocaml-bitstring src:ocaml-bjack src:ocaml-bos src:ocaml-ca-certs src:ocaml-cairo2 src:ocaml-charinfo-width src:ocaml-cinaps src:ocaml-cohttp src:ocaml-conduit src:ocaml-config-file src:ocaml-containers src:ocaml-cpu src:ocaml-crunch src:ocaml-cry src:ocaml-csexp src:ocaml-cstruct src:ocaml-ctypes src:ocaml-curses src:ocaml-dbus (RFA: #735882) src:ocaml-digestif src:ocaml-domain-local-await src:ocaml-domain-name src:ocaml-dscheck src:ocaml-dssi src:ocaml-dtools src:ocaml-dune src:ocaml-duppy src:ocaml-duration src:ocaml-eqaf src:ocaml-expat src:ocaml-expect (RFA: #934211) src:ocaml-extunix src:ocaml-faad src:ocaml-ffmpeg src:ocaml-fileutils (RFA: #933559) src:ocaml-flac src:ocaml-fmt src:ocaml-fpath src:ocaml-frei0r src:ocaml-gavl src:ocaml-gen src:ocaml-getopt src:ocaml-gettext src:ocaml-gmap src:ocaml-gnuplot src:ocaml-gstreamer src:ocaml-hex src:ocaml-hmap src:ocaml-inifiles (RFA: #731590) src:ocaml-inotify (RFA: #784037) src:ocaml-integers src:ocaml-intrinsics-kernel src:ocaml-ipaddr src:ocaml-iter src:ocaml-kdf src:ocaml-ladspa src:ocaml-lame src:ocaml-lastfm src:ocaml-libvirt src:ocaml-linenoise src:ocaml-lo src:ocaml-logs src:ocaml-luv src:ocaml-mad src:ocaml-magic src:ocaml-magic-mime src:ocaml-markup src:ocaml-mccs src:ocaml-mdx src:ocaml-mem-usage src:ocaml-merlin src:ocaml-metadata src:ocaml-mew src:ocaml-mew-vi src:ocaml-mirage-clock src:ocaml-mirage-crypto src:ocaml-mirage-kv src:ocaml-mirage-kv-mem src:ocaml-mm src:ocaml-mmap src:ocaml-monolith src:ocaml-mtime src:ocaml-multicore-bench src:ocaml-multicore-magic src:ocaml-multicoretests src:ocaml-num src:ocaml-obuild src:ocaml-octavius src:ocaml-odoc src:ocaml-ogg src:ocaml-ohex src:ocaml-optint src:ocaml-opus src:ocaml-oseq src:ocaml-parany src:ocaml-parsexp src:ocaml-pbkdf src:ocaml-portaudio src:ocaml-pp src:ocaml-pprint src:ocaml-ptime src:ocaml-ptmap src:ocaml-pulseaudio src:ocaml-qcheck src:ocaml-qtest src:ocaml-randomconv src:ocaml-re src:ocaml-reins src:ocaml-res (RFA: #934212) src:ocaml-result src:ocaml-rope src:ocaml-rresult src:ocaml-samplerate src:ocaml-saturn src:ocaml-sedlex src:ocaml-sexplib0 src:ocaml-sha src:ocaml-shine src:ocaml-shout src:ocaml-soundtouch src:ocaml-spdx-licenses src:ocaml-speex src:ocaml-sqlite3 src:ocaml-ssl src:ocaml-stdcompat src:ocaml-stdio src:ocaml-stdlib-random src:ocaml-stringext src:ocaml-swhid-core src:ocaml-theora src:ocaml-thread-table src:ocaml-time-now src:ocaml-topkg src:ocaml-trie src:ocaml-uri src:ocaml-usb src:ocaml-uucd src:ocaml-uunf src:ocaml-uuseg src:ocaml-version src:ocaml-visitors src:ocaml-voaacenc src:ocaml-vorbis src:ocaml-websocket src:ocaml-x509 src:ocaml-xmlplaylist src:ocaml-zarith src:ocaml-zarith-stubs-js src:ocamlagrep src:ocamlcreal src:ocamldap src:ocamldsort src:ocamlformat src:ocamlgraph src:ocamlgsl (RFA: #784036) src:ocamlify (RFA: #784035) src:ocamlmod (RFA: #784034) src:ocamlnet src:ocamlpam src:ocamlrss src:ocamlviz src:ocamlwc src:ocamlweb src:ocp-indent src:ocplib-endian src:ocplib-simplex src:ocsigenserver src:ocsipersist src:ocurl src:omake src:omd src:opam src:opam-0install-cudf src:opam-file-format src:ounit src:pagodacf src:parmap src:pcre2-ocaml src:perl4caml src:pgocaml src:planets src:polygen (O: #876670) src:postgresql-ocaml src:ppx-assert src:ppx-base src:ppx-bin-prot src:ppx-cold src:ppx-compare src:ppx-custom-printf src:ppx-derivers src:ppx-deriving src:ppx-deriving-yojson src:ppx-enumerate src:ppx-expect src:ppx-fields-conv src:ppx-globalize src:ppx-here src:ppx-inline-test src:ppx-js-style src:ppx-let src:ppx-optcomp src:ppx-sexp-conv src:ppx-string src:ppx-variants-conv src:ppx-yojson-conv src:ppx-yojson-conv-lib src:ppxlib src:pxp (RFA: #636021) src:pyml src:react src:reactivedata src:sexplib310 src:spamoracle src:syslog-ocaml src:tophide src:typerep src:tyxml src:ulex src:unison-2.53 src:utop src:uuidm src:uutf src:variantslib src:virt-top src:why3 src:wyrd src:xen src:xml-light src:xmlm src:xstr (RFA: #784032) src:xstrp4 (RFA: #731511) src:yojson src:zed (RFP: #1076165) | (*) → ocaml → gcc → | (*) → build-essential → gcc |
gcc:armhf |
25 | src:coq-bignums src:coq-corn src:coq-deriving src:coq-ext-lib src:coq-extructures src:coq-gappa src:coq-hammer src:coq-hott src:coq-interval src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-record-update src:coq-reduction-effects src:coq-reglang src:coq-relation-algebra src:coq-simple-io src:coq-stdpp src:coq-unicoq src:coq-unimath src:coqeal src:coquelicot src:flocq src:paramcoq | (*) → libcoq-core-ocaml-dev → ocaml → gcc → | (*) → build-essential → gcc |
7 | src:mathcomp-algebra-tactics src:mathcomp-analysis src:mathcomp-bigenough src:mathcomp-finmap src:mathcomp-multinomials src:mathcomp-real-closed src:mathcomp-zify | (*) → coq → ocaml → gcc → | (*) → build-essential → gcc |
1 | src:coq-iris | (*) → coq → ocaml → gcc → | (*) → build-essential → gcc |
1 | src:ssreflect | (*) → coq → ocaml → gcc → | (*) → build-essential → gcc |
353 |
319 | src:0install-solver src:aac-tactics src:advi src:belenios src:ben src:bibtex2html src:bin-prot src:biniou (RFA: #934539) src:bisect-ppx src:cairo-ocaml (RFA: #932166) src:calendar src:caml2html (RFA: #934531) src:camlbz2 src:camlimages src:camljava src:camlmix src:camlp-streams src:camlp5 src:camlp5-buildscripts src:camlpdf src:camltemplate src:camlzip src:camomile src:cmdliner src:coccinelle src:coinst src:coq src:cryptgps src:cudf src:dose3 src:easy-format src:eliom src:extlib src:facile (RFA: #731586) src:fieldslib src:findlib src:frama-c (RFH: #907946) src:gd4o src:headache src:hevea src:hlins src:jane-street-headers src:janest-base src:js-of-ocaml src:js-of-ocaml-ocamlbuild src:jsonm src:lablgl src:lablgtk3 src:labltk src:laby src:lambda-term src:ledit src:lem src:linksem src:lwt src:lwt-log src:lwt-ssl src:mcl14 src:menhir src:misery src:mlgmp src:mlpcap src:mlpost src:morsmall src:mysql-ocaml src:not-ocamlfind src:nproc src:nss-passwords src:nurpawiki src:oasis (RFA: #934044) src:obus src:ocaml-afl-persistent src:ocaml-alcotest src:ocaml-alsa src:ocaml-angstrom src:ocaml-ansi-terminal src:ocaml-ao src:ocaml-asn1-combinators src:ocaml-astring src:ocaml-atd src:ocaml-backoff src:ocaml-base64 src:ocaml-batteries src:ocaml-benchmark src:ocaml-bigarray-compat src:ocaml-bigstringaf src:ocaml-bitstring src:ocaml-bjack src:ocaml-bos src:ocaml-ca-certs src:ocaml-cairo2 src:ocaml-charinfo-width src:ocaml-cinaps src:ocaml-cohttp src:ocaml-conduit src:ocaml-config-file src:ocaml-containers src:ocaml-cpu src:ocaml-crunch src:ocaml-cry src:ocaml-csexp src:ocaml-cstruct src:ocaml-ctypes src:ocaml-curses src:ocaml-dbus (RFA: #735882) src:ocaml-digestif src:ocaml-domain-local-await src:ocaml-domain-name src:ocaml-dscheck src:ocaml-dssi src:ocaml-dtools src:ocaml-dune src:ocaml-duppy src:ocaml-duration src:ocaml-eqaf src:ocaml-expat src:ocaml-expect (RFA: #934211) src:ocaml-extunix src:ocaml-faad src:ocaml-ffmpeg src:ocaml-fileutils (RFA: #933559) src:ocaml-flac src:ocaml-fmt src:ocaml-fpath src:ocaml-frei0r src:ocaml-gavl src:ocaml-gen src:ocaml-getopt src:ocaml-gettext src:ocaml-gmap src:ocaml-gnuplot src:ocaml-gstreamer src:ocaml-hex src:ocaml-hmap src:ocaml-inifiles (RFA: #731590) src:ocaml-inotify (RFA: #784037) src:ocaml-integers src:ocaml-intrinsics-kernel src:ocaml-ipaddr src:ocaml-iter src:ocaml-kdf src:ocaml-ladspa src:ocaml-lame src:ocaml-lastfm src:ocaml-libvirt src:ocaml-linenoise src:ocaml-lo src:ocaml-logs src:ocaml-luv src:ocaml-mad src:ocaml-magic src:ocaml-magic-mime src:ocaml-markup src:ocaml-mccs src:ocaml-mdx src:ocaml-mem-usage src:ocaml-merlin src:ocaml-metadata src:ocaml-mew src:ocaml-mew-vi src:ocaml-mirage-clock src:ocaml-mirage-crypto src:ocaml-mirage-kv src:ocaml-mirage-kv-mem src:ocaml-mm src:ocaml-mmap src:ocaml-monolith src:ocaml-mtime src:ocaml-multicore-bench src:ocaml-multicore-magic src:ocaml-multicoretests src:ocaml-num src:ocaml-obuild src:ocaml-octavius src:ocaml-odoc src:ocaml-ogg src:ocaml-ohex src:ocaml-optint src:ocaml-opus src:ocaml-oseq src:ocaml-parany src:ocaml-parsexp src:ocaml-pbkdf src:ocaml-portaudio src:ocaml-pp src:ocaml-pprint src:ocaml-ptime src:ocaml-ptmap src:ocaml-pulseaudio src:ocaml-qcheck src:ocaml-qtest src:ocaml-randomconv src:ocaml-re src:ocaml-reins src:ocaml-res (RFA: #934212) src:ocaml-result src:ocaml-rope src:ocaml-rresult src:ocaml-samplerate src:ocaml-saturn src:ocaml-sedlex src:ocaml-sexplib0 src:ocaml-sha src:ocaml-shine src:ocaml-shout src:ocaml-soundtouch src:ocaml-spdx-licenses src:ocaml-speex src:ocaml-sqlite3 src:ocaml-ssl src:ocaml-stdcompat src:ocaml-stdio src:ocaml-stdlib-random src:ocaml-stringext src:ocaml-swhid-core src:ocaml-theora src:ocaml-thread-table src:ocaml-time-now src:ocaml-topkg src:ocaml-trie src:ocaml-uri src:ocaml-usb src:ocaml-uucd src:ocaml-uunf src:ocaml-uuseg src:ocaml-version src:ocaml-visitors src:ocaml-voaacenc src:ocaml-vorbis src:ocaml-websocket src:ocaml-x509 src:ocaml-xmlplaylist src:ocaml-zarith src:ocaml-zarith-stubs-js src:ocamlagrep src:ocamlcreal src:ocamldap src:ocamldsort src:ocamlformat src:ocamlgraph src:ocamlgsl (RFA: #784036) src:ocamlify (RFA: #784035) src:ocamlmod (RFA: #784034) src:ocamlnet src:ocamlpam src:ocamlrss src:ocamlviz src:ocamlwc src:ocamlweb src:ocp-indent src:ocplib-endian src:ocplib-simplex src:ocsigenserver src:ocsipersist src:ocurl src:omake src:omd src:opam src:opam-0install-cudf src:opam-file-format src:ounit src:pagodacf src:parmap src:pcre2-ocaml src:perl4caml src:pgocaml src:planets src:polygen (O: #876670) src:postgresql-ocaml src:ppx-assert src:ppx-base src:ppx-bin-prot src:ppx-cold src:ppx-compare src:ppx-custom-printf src:ppx-derivers src:ppx-deriving src:ppx-deriving-yojson src:ppx-enumerate src:ppx-expect src:ppx-fields-conv src:ppx-globalize src:ppx-here src:ppx-inline-test src:ppx-js-style src:ppx-let src:ppx-optcomp src:ppx-sexp-conv src:ppx-string src:ppx-variants-conv src:ppx-yojson-conv src:ppx-yojson-conv-lib src:ppxlib src:pxp (RFA: #636021) src:pyml src:react src:reactivedata src:sexplib310 src:spamoracle src:syslog-ocaml src:tophide src:typerep src:tyxml src:ulex src:unison-2.53 src:utop src:uuidm src:uutf src:variantslib src:virt-top src:why3 src:wyrd src:xen src:xml-light src:xmlm src:xstr (RFA: #784032) src:xstrp4 (RFA: #731511) src:yojson src:zed (RFP: #1076165) | (*) → build-essential → g++ → cpp → cpp-14 → | (*) → ocaml → gcc → cpp → cpp-14 |
cpp-14:amd64 |
24 | src:coq-bignums src:coq-corn src:coq-deriving src:coq-ext-lib src:coq-extructures src:coq-hott src:coq-interval src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-record-update src:coq-reglang src:coq-simple-io src:coquelicot src:flocq src:mathcomp-algebra-tactics src:mathcomp-analysis src:mathcomp-bigenough src:mathcomp-finmap src:mathcomp-multinomials src:mathcomp-real-closed src:mathcomp-zify src:paramcoq | (*) → build-essential → g++ → cpp → cpp-14 → | (*) → coq → ocaml → gcc → cpp → cpp-14 |
5 | src:coq-iris src:coq-reduction-effects src:coq-relation-algebra src:coq-stdpp src:coq-unicoq | (*) → build-essential → g++ → cpp → cpp-14 → | (*) → coq → ocaml → gcc → cpp → cpp-14 |
2 | src:coq-hammer src:coq-unimath | (*) → build-essential → g++ → cpp → cpp-14 → | (*) → coq → ocaml → gcc → cpp → cpp-14 |
1 | src:coq-gappa | (*) → build-essential → g++ → cpp → cpp-14 → | (*) → libcoq-core-ocaml-dev → ocaml → gcc → cpp → cpp-14 |
1 | src:coqeal | (*) → build-essential → g++ → cpp → cpp-14 → | (*) → coq → ocaml → gcc → cpp → cpp-14 |
1 | src:ssreflect | (*) → build-essential → g++ → cpp → cpp-14 → | (*) → coq → ocaml → gcc → cpp → cpp-14 |
353 |
319 | src:0install-solver src:aac-tactics src:advi src:belenios src:ben src:bibtex2html src:bin-prot src:biniou (RFA: #934539) src:bisect-ppx src:cairo-ocaml (RFA: #932166) src:calendar src:caml2html (RFA: #934531) src:camlbz2 src:camlimages src:camljava src:camlmix src:camlp-streams src:camlp5 src:camlp5-buildscripts src:camlpdf src:camltemplate src:camlzip src:camomile src:cmdliner src:coccinelle src:coinst src:coq src:cryptgps src:cudf src:dose3 src:easy-format src:eliom src:extlib src:facile (RFA: #731586) src:fieldslib src:findlib src:frama-c (RFH: #907946) src:gd4o src:headache src:hevea src:hlins src:jane-street-headers src:janest-base src:js-of-ocaml src:js-of-ocaml-ocamlbuild src:jsonm src:lablgl src:lablgtk3 src:labltk src:laby src:lambda-term src:ledit src:lem src:linksem src:lwt src:lwt-log src:lwt-ssl src:mcl14 src:menhir src:misery src:mlgmp src:mlpcap src:mlpost src:morsmall src:mysql-ocaml src:not-ocamlfind src:nproc src:nss-passwords src:nurpawiki src:oasis (RFA: #934044) src:obus src:ocaml-afl-persistent src:ocaml-alcotest src:ocaml-alsa src:ocaml-angstrom src:ocaml-ansi-terminal src:ocaml-ao src:ocaml-asn1-combinators src:ocaml-astring src:ocaml-atd src:ocaml-backoff src:ocaml-base64 src:ocaml-batteries src:ocaml-benchmark src:ocaml-bigarray-compat src:ocaml-bigstringaf src:ocaml-bitstring src:ocaml-bjack src:ocaml-bos src:ocaml-ca-certs src:ocaml-cairo2 src:ocaml-charinfo-width src:ocaml-cinaps src:ocaml-cohttp src:ocaml-conduit src:ocaml-config-file src:ocaml-containers src:ocaml-cpu src:ocaml-crunch src:ocaml-cry src:ocaml-csexp src:ocaml-cstruct src:ocaml-ctypes src:ocaml-curses src:ocaml-dbus (RFA: #735882) src:ocaml-digestif src:ocaml-domain-local-await src:ocaml-domain-name src:ocaml-dscheck src:ocaml-dssi src:ocaml-dtools src:ocaml-dune src:ocaml-duppy src:ocaml-duration src:ocaml-eqaf src:ocaml-expat src:ocaml-expect (RFA: #934211) src:ocaml-extunix src:ocaml-faad src:ocaml-ffmpeg src:ocaml-fileutils (RFA: #933559) src:ocaml-flac src:ocaml-fmt src:ocaml-fpath src:ocaml-frei0r src:ocaml-gavl src:ocaml-gen src:ocaml-getopt src:ocaml-gettext src:ocaml-gmap src:ocaml-gnuplot src:ocaml-gstreamer src:ocaml-hex src:ocaml-hmap src:ocaml-inifiles (RFA: #731590) src:ocaml-inotify (RFA: #784037) src:ocaml-integers src:ocaml-intrinsics-kernel src:ocaml-ipaddr src:ocaml-iter src:ocaml-kdf src:ocaml-ladspa src:ocaml-lame src:ocaml-lastfm src:ocaml-libvirt src:ocaml-linenoise src:ocaml-lo src:ocaml-logs src:ocaml-luv src:ocaml-mad src:ocaml-magic src:ocaml-magic-mime src:ocaml-markup src:ocaml-mccs src:ocaml-mdx src:ocaml-mem-usage src:ocaml-merlin src:ocaml-metadata src:ocaml-mew src:ocaml-mew-vi src:ocaml-mirage-clock src:ocaml-mirage-crypto src:ocaml-mirage-kv src:ocaml-mirage-kv-mem src:ocaml-mm src:ocaml-mmap src:ocaml-monolith src:ocaml-mtime src:ocaml-multicore-bench src:ocaml-multicore-magic src:ocaml-multicoretests src:ocaml-num src:ocaml-obuild src:ocaml-octavius src:ocaml-odoc src:ocaml-ogg src:ocaml-ohex src:ocaml-optint src:ocaml-opus src:ocaml-oseq src:ocaml-parany src:ocaml-parsexp src:ocaml-pbkdf src:ocaml-portaudio src:ocaml-pp src:ocaml-pprint src:ocaml-ptime src:ocaml-ptmap src:ocaml-pulseaudio src:ocaml-qcheck src:ocaml-qtest src:ocaml-randomconv src:ocaml-re src:ocaml-reins src:ocaml-res (RFA: #934212) src:ocaml-result src:ocaml-rope src:ocaml-rresult src:ocaml-samplerate src:ocaml-saturn src:ocaml-sedlex src:ocaml-sexplib0 src:ocaml-sha src:ocaml-shine src:ocaml-shout src:ocaml-soundtouch src:ocaml-spdx-licenses src:ocaml-speex src:ocaml-sqlite3 src:ocaml-ssl src:ocaml-stdcompat src:ocaml-stdio src:ocaml-stdlib-random src:ocaml-stringext src:ocaml-swhid-core src:ocaml-theora src:ocaml-thread-table src:ocaml-time-now src:ocaml-topkg src:ocaml-trie src:ocaml-uri src:ocaml-usb src:ocaml-uucd src:ocaml-uunf src:ocaml-uuseg src:ocaml-version src:ocaml-visitors src:ocaml-voaacenc src:ocaml-vorbis src:ocaml-websocket src:ocaml-x509 src:ocaml-xmlplaylist src:ocaml-zarith src:ocaml-zarith-stubs-js src:ocamlagrep src:ocamlcreal src:ocamldap src:ocamldsort src:ocamlformat src:ocamlgraph src:ocamlgsl (RFA: #784036) src:ocamlify (RFA: #784035) src:ocamlmod (RFA: #784034) src:ocamlnet src:ocamlpam src:ocamlrss src:ocamlviz src:ocamlwc src:ocamlweb src:ocp-indent src:ocplib-endian src:ocplib-simplex src:ocsigenserver src:ocsipersist src:ocurl src:omake src:omd src:opam src:opam-0install-cudf src:opam-file-format src:ounit src:pagodacf src:parmap src:pcre2-ocaml src:perl4caml src:pgocaml src:planets src:polygen (O: #876670) src:postgresql-ocaml src:ppx-assert src:ppx-base src:ppx-bin-prot src:ppx-cold src:ppx-compare src:ppx-custom-printf src:ppx-derivers src:ppx-deriving src:ppx-deriving-yojson src:ppx-enumerate src:ppx-expect src:ppx-fields-conv src:ppx-globalize src:ppx-here src:ppx-inline-test src:ppx-js-style src:ppx-let src:ppx-optcomp src:ppx-sexp-conv src:ppx-string src:ppx-variants-conv src:ppx-yojson-conv src:ppx-yojson-conv-lib src:ppxlib src:pxp (RFA: #636021) src:pyml src:react src:reactivedata src:sexplib310 src:spamoracle src:syslog-ocaml src:tophide src:typerep src:tyxml src:ulex src:unison-2.53 src:utop src:uuidm src:uutf src:variantslib src:virt-top src:why3 src:wyrd src:xen src:xml-light src:xmlm src:xstr (RFA: #784032) src:xstrp4 (RFA: #731511) src:yojson src:zed (RFP: #1076165) | (*) → build-essential → g++ → cpp → | (*) → ocaml → gcc → cpp |
cpp:amd64 |
24 | src:coq-bignums src:coq-corn src:coq-deriving src:coq-ext-lib src:coq-extructures src:coq-hott src:coq-interval src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-record-update src:coq-reglang src:coq-simple-io src:coquelicot src:flocq src:mathcomp-algebra-tactics src:mathcomp-analysis src:mathcomp-bigenough src:mathcomp-finmap src:mathcomp-multinomials src:mathcomp-real-closed src:mathcomp-zify src:paramcoq | (*) → build-essential → g++ → cpp → | (*) → coq → ocaml → gcc → cpp |
5 | src:coq-iris src:coq-reduction-effects src:coq-relation-algebra src:coq-stdpp src:coq-unicoq | (*) → build-essential → g++ → cpp → | (*) → coq → ocaml → gcc → cpp |
2 | src:coq-hammer src:coq-unimath | (*) → build-essential → g++ → cpp → | (*) → coq → ocaml → gcc → cpp |
1 | src:coq-gappa | (*) → build-essential → g++ → cpp → | (*) → libcoq-core-ocaml-dev → ocaml → gcc → cpp |
1 | src:coqeal | (*) → build-essential → g++ → cpp → | (*) → coq → ocaml → gcc → cpp |
1 | src:ssreflect | (*) → build-essential → g++ → cpp → | (*) → coq → ocaml → gcc → cpp |
351 |
317 | src:0install-solver src:aac-tactics src:advi src:belenios src:ben src:bibtex2html src:bin-prot src:biniou (RFA: #934539) src:bisect-ppx src:cairo-ocaml (RFA: #932166) src:calendar src:caml2html (RFA: #934531) src:camlbz2 src:camlimages src:camljava src:camlmix src:camlp-streams src:camlp5 src:camlp5-buildscripts src:camlpdf src:camltemplate src:camlzip src:camomile src:cmdliner src:coccinelle src:coinst src:coq src:cryptgps src:cudf src:dose3 src:easy-format src:eliom src:extlib src:facile (RFA: #731586) src:fieldslib src:findlib src:frama-c (RFH: #907946) src:gd4o src:headache src:hevea src:hlins src:jane-street-headers src:janest-base src:js-of-ocaml src:js-of-ocaml-ocamlbuild src:jsonm src:lablgl src:lablgtk3 src:labltk src:laby src:lambda-term src:ledit src:lem src:linksem src:lwt src:lwt-log src:lwt-ssl src:mcl14 src:menhir src:misery src:mlgmp src:mlpcap src:mlpost src:morsmall src:mysql-ocaml src:not-ocamlfind src:nproc src:nss-passwords src:nurpawiki src:oasis (RFA: #934044) src:obus src:ocaml-afl-persistent src:ocaml-alcotest src:ocaml-alsa src:ocaml-angstrom src:ocaml-ansi-terminal src:ocaml-ao src:ocaml-asn1-combinators src:ocaml-astring src:ocaml-atd src:ocaml-backoff src:ocaml-base64 src:ocaml-batteries src:ocaml-benchmark src:ocaml-bigarray-compat src:ocaml-bigstringaf src:ocaml-bitstring src:ocaml-bjack src:ocaml-bos src:ocaml-ca-certs src:ocaml-cairo2 src:ocaml-charinfo-width src:ocaml-cinaps src:ocaml-cohttp src:ocaml-conduit src:ocaml-config-file src:ocaml-containers src:ocaml-cpu src:ocaml-crunch src:ocaml-cry src:ocaml-csexp src:ocaml-cstruct src:ocaml-ctypes src:ocaml-curses src:ocaml-dbus (RFA: #735882) src:ocaml-digestif src:ocaml-domain-local-await src:ocaml-domain-name src:ocaml-dscheck src:ocaml-dssi src:ocaml-dtools src:ocaml-dune src:ocaml-duppy src:ocaml-duration src:ocaml-eqaf src:ocaml-expat src:ocaml-expect (RFA: #934211) src:ocaml-extunix src:ocaml-faad src:ocaml-ffmpeg src:ocaml-fileutils (RFA: #933559) src:ocaml-flac src:ocaml-fmt src:ocaml-fpath src:ocaml-frei0r src:ocaml-gavl src:ocaml-gen src:ocaml-getopt src:ocaml-gettext src:ocaml-gmap src:ocaml-gnuplot src:ocaml-hex src:ocaml-hmap src:ocaml-inifiles (RFA: #731590) src:ocaml-inotify (RFA: #784037) src:ocaml-integers src:ocaml-intrinsics-kernel src:ocaml-ipaddr src:ocaml-iter src:ocaml-kdf src:ocaml-ladspa src:ocaml-lame src:ocaml-lastfm src:ocaml-libvirt src:ocaml-linenoise src:ocaml-lo src:ocaml-logs src:ocaml-luv src:ocaml-mad src:ocaml-magic src:ocaml-magic-mime src:ocaml-markup src:ocaml-mccs src:ocaml-mdx src:ocaml-mem-usage src:ocaml-merlin src:ocaml-metadata src:ocaml-mew src:ocaml-mew-vi src:ocaml-mirage-clock src:ocaml-mirage-crypto src:ocaml-mirage-kv src:ocaml-mirage-kv-mem src:ocaml-mm src:ocaml-mmap src:ocaml-monolith src:ocaml-mtime src:ocaml-multicore-bench src:ocaml-multicore-magic src:ocaml-multicoretests src:ocaml-num src:ocaml-obuild src:ocaml-octavius src:ocaml-odoc src:ocaml-ogg src:ocaml-ohex src:ocaml-optint src:ocaml-opus src:ocaml-oseq src:ocaml-parany src:ocaml-parsexp src:ocaml-pbkdf src:ocaml-portaudio src:ocaml-pp src:ocaml-pprint src:ocaml-ptime src:ocaml-ptmap src:ocaml-pulseaudio src:ocaml-qcheck src:ocaml-qtest src:ocaml-randomconv src:ocaml-re src:ocaml-reins src:ocaml-res (RFA: #934212) src:ocaml-result src:ocaml-rope src:ocaml-rresult src:ocaml-samplerate src:ocaml-saturn src:ocaml-sedlex src:ocaml-sexplib0 src:ocaml-sha src:ocaml-shine src:ocaml-shout src:ocaml-soundtouch src:ocaml-spdx-licenses src:ocaml-speex src:ocaml-sqlite3 src:ocaml-ssl src:ocaml-stdcompat src:ocaml-stdio src:ocaml-stdlib-random src:ocaml-stringext src:ocaml-swhid-core src:ocaml-theora src:ocaml-thread-table src:ocaml-time-now src:ocaml-topkg src:ocaml-trie src:ocaml-uri src:ocaml-usb src:ocaml-uucd src:ocaml-uunf src:ocaml-uuseg src:ocaml-version src:ocaml-visitors src:ocaml-voaacenc src:ocaml-vorbis src:ocaml-websocket src:ocaml-x509 src:ocaml-xmlplaylist src:ocaml-zarith src:ocaml-zarith-stubs-js src:ocamlagrep src:ocamlcreal src:ocamldap src:ocamldsort src:ocamlformat src:ocamlgraph src:ocamlgsl (RFA: #784036) src:ocamlify (RFA: #784035) src:ocamlmod (RFA: #784034) src:ocamlnet src:ocamlpam src:ocamlrss src:ocamlviz src:ocamlwc src:ocamlweb src:ocp-indent src:ocplib-endian src:ocplib-simplex src:ocsigenserver src:ocsipersist src:ocurl src:omake src:omd src:opam src:opam-0install-cudf src:opam-file-format src:ounit src:pagodacf src:parmap src:pcre2-ocaml src:perl4caml src:pgocaml src:planets src:polygen (O: #876670) src:postgresql-ocaml src:ppx-assert src:ppx-base src:ppx-bin-prot src:ppx-cold src:ppx-compare src:ppx-custom-printf src:ppx-derivers src:ppx-deriving src:ppx-deriving-yojson src:ppx-enumerate src:ppx-expect src:ppx-fields-conv src:ppx-globalize src:ppx-here src:ppx-inline-test src:ppx-js-style src:ppx-let src:ppx-optcomp src:ppx-sexp-conv src:ppx-string src:ppx-variants-conv src:ppx-yojson-conv src:ppx-yojson-conv-lib src:ppxlib src:pxp (RFA: #636021) src:pyml src:react src:reactivedata src:sexplib310 src:spamoracle src:syslog-ocaml src:tophide src:typerep src:tyxml src:ulex src:unison-2.53 src:utop src:uuidm src:uutf src:variantslib src:virt-top src:why3 src:wyrd src:xml-light src:xmlm src:xstr (RFA: #784032) src:xstrp4 (RFA: #731511) src:yojson src:zed (RFP: #1076165) | (*) → debhelper → dpkg-dev → binutils → binutils-x86-64-linux-gnu → | (*) → ocaml → binutils → binutils-x86-64-linux-gnu |
binutils-x86-64-linux-gnu:amd64 |
24 | src:coq-bignums src:coq-corn src:coq-deriving src:coq-ext-lib src:coq-extructures src:coq-hott src:coq-interval src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-record-update src:coq-reglang src:coq-simple-io src:coquelicot src:flocq src:mathcomp-algebra-tactics src:mathcomp-analysis src:mathcomp-bigenough src:mathcomp-finmap src:mathcomp-multinomials src:mathcomp-real-closed src:mathcomp-zify src:paramcoq | (*) → debhelper → dpkg-dev → binutils → binutils-x86-64-linux-gnu → | (*) → coq → ocaml → binutils → binutils-x86-64-linux-gnu |
5 | src:coq-iris src:coq-reduction-effects src:coq-relation-algebra src:coq-stdpp src:coq-unicoq | (*) → debhelper → dpkg-dev → binutils → binutils-x86-64-linux-gnu → | (*) → coq → ocaml → binutils → binutils-x86-64-linux-gnu |
2 | src:coq-hammer src:coq-unimath | (*) → debhelper → dpkg-dev → binutils → binutils-x86-64-linux-gnu → | (*) → coq → ocaml → binutils → binutils-x86-64-linux-gnu |
1 | src:coq-gappa | (*) → debhelper → dpkg-dev → binutils → binutils-x86-64-linux-gnu → | (*) → libcoq-core-ocaml-dev → ocaml → binutils → binutils-x86-64-linux-gnu |
1 | src:coqeal | (*) → debhelper → dpkg-dev → binutils → binutils-x86-64-linux-gnu → | (*) → coq → ocaml → binutils → binutils-x86-64-linux-gnu |
1 | src:ssreflect | (*) → debhelper → dpkg-dev → binutils → binutils-x86-64-linux-gnu → | (*) → coq → ocaml → binutils → binutils-x86-64-linux-gnu |
351 |
317 | src:0install-solver src:aac-tactics src:advi src:belenios src:ben src:bibtex2html src:bin-prot src:biniou (RFA: #934539) src:bisect-ppx src:cairo-ocaml (RFA: #932166) src:calendar src:caml2html (RFA: #934531) src:camlbz2 src:camlimages src:camljava src:camlmix src:camlp-streams src:camlp5 src:camlp5-buildscripts src:camlpdf src:camltemplate src:camlzip src:camomile src:cmdliner src:coccinelle src:coinst src:coq src:cryptgps src:cudf src:dose3 src:easy-format src:eliom src:extlib src:facile (RFA: #731586) src:fieldslib src:findlib src:frama-c (RFH: #907946) src:gd4o src:headache src:hevea src:hlins src:jane-street-headers src:janest-base src:js-of-ocaml src:js-of-ocaml-ocamlbuild src:jsonm src:lablgl src:lablgtk3 src:labltk src:laby src:lambda-term src:ledit src:lem src:linksem src:lwt src:lwt-log src:lwt-ssl src:mcl14 src:menhir src:misery src:mlgmp src:mlpcap src:mlpost src:morsmall src:mysql-ocaml src:not-ocamlfind src:nproc src:nss-passwords src:nurpawiki src:oasis (RFA: #934044) src:obus src:ocaml-afl-persistent src:ocaml-alcotest src:ocaml-alsa src:ocaml-angstrom src:ocaml-ansi-terminal src:ocaml-ao src:ocaml-asn1-combinators src:ocaml-astring src:ocaml-atd src:ocaml-backoff src:ocaml-base64 src:ocaml-batteries src:ocaml-benchmark src:ocaml-bigarray-compat src:ocaml-bigstringaf src:ocaml-bitstring src:ocaml-bjack src:ocaml-bos src:ocaml-ca-certs src:ocaml-cairo2 src:ocaml-charinfo-width src:ocaml-cinaps src:ocaml-cohttp src:ocaml-conduit src:ocaml-config-file src:ocaml-containers src:ocaml-cpu src:ocaml-crunch src:ocaml-cry src:ocaml-csexp src:ocaml-cstruct src:ocaml-ctypes src:ocaml-curses src:ocaml-dbus (RFA: #735882) src:ocaml-digestif src:ocaml-domain-local-await src:ocaml-domain-name src:ocaml-dscheck src:ocaml-dssi src:ocaml-dtools src:ocaml-dune src:ocaml-duppy src:ocaml-duration src:ocaml-eqaf src:ocaml-expat src:ocaml-expect (RFA: #934211) src:ocaml-extunix src:ocaml-faad src:ocaml-ffmpeg src:ocaml-fileutils (RFA: #933559) src:ocaml-flac src:ocaml-fmt src:ocaml-fpath src:ocaml-frei0r src:ocaml-gavl src:ocaml-gen src:ocaml-getopt src:ocaml-gettext src:ocaml-gmap src:ocaml-gnuplot src:ocaml-hex src:ocaml-hmap src:ocaml-inifiles (RFA: #731590) src:ocaml-inotify (RFA: #784037) src:ocaml-integers src:ocaml-intrinsics-kernel src:ocaml-ipaddr src:ocaml-iter src:ocaml-kdf src:ocaml-ladspa src:ocaml-lame src:ocaml-lastfm src:ocaml-libvirt src:ocaml-linenoise src:ocaml-lo src:ocaml-logs src:ocaml-luv src:ocaml-mad src:ocaml-magic src:ocaml-magic-mime src:ocaml-markup src:ocaml-mccs src:ocaml-mdx src:ocaml-mem-usage src:ocaml-merlin src:ocaml-metadata src:ocaml-mew src:ocaml-mew-vi src:ocaml-mirage-clock src:ocaml-mirage-crypto src:ocaml-mirage-kv src:ocaml-mirage-kv-mem src:ocaml-mm src:ocaml-mmap src:ocaml-monolith src:ocaml-mtime src:ocaml-multicore-bench src:ocaml-multicore-magic src:ocaml-multicoretests src:ocaml-num src:ocaml-obuild src:ocaml-octavius src:ocaml-odoc src:ocaml-ogg src:ocaml-ohex src:ocaml-optint src:ocaml-opus src:ocaml-oseq src:ocaml-parany src:ocaml-parsexp src:ocaml-pbkdf src:ocaml-portaudio src:ocaml-pp src:ocaml-pprint src:ocaml-ptime src:ocaml-ptmap src:ocaml-pulseaudio src:ocaml-qcheck src:ocaml-qtest src:ocaml-randomconv src:ocaml-re src:ocaml-reins src:ocaml-res (RFA: #934212) src:ocaml-result src:ocaml-rope src:ocaml-rresult src:ocaml-samplerate src:ocaml-saturn src:ocaml-sedlex src:ocaml-sexplib0 src:ocaml-sha src:ocaml-shine src:ocaml-shout src:ocaml-soundtouch src:ocaml-spdx-licenses src:ocaml-speex src:ocaml-sqlite3 src:ocaml-ssl src:ocaml-stdcompat src:ocaml-stdio src:ocaml-stdlib-random src:ocaml-stringext src:ocaml-swhid-core src:ocaml-theora src:ocaml-thread-table src:ocaml-time-now src:ocaml-topkg src:ocaml-trie src:ocaml-uri src:ocaml-usb src:ocaml-uucd src:ocaml-uunf src:ocaml-uuseg src:ocaml-version src:ocaml-visitors src:ocaml-voaacenc src:ocaml-vorbis src:ocaml-websocket src:ocaml-x509 src:ocaml-xmlplaylist src:ocaml-zarith src:ocaml-zarith-stubs-js src:ocamlagrep src:ocamlcreal src:ocamldap src:ocamldsort src:ocamlformat src:ocamlgraph src:ocamlgsl (RFA: #784036) src:ocamlify (RFA: #784035) src:ocamlmod (RFA: #784034) src:ocamlnet src:ocamlpam src:ocamlrss src:ocamlviz src:ocamlwc src:ocamlweb src:ocp-indent src:ocplib-endian src:ocplib-simplex src:ocsigenserver src:ocsipersist src:ocurl src:omake src:omd src:opam src:opam-0install-cudf src:opam-file-format src:ounit src:pagodacf src:parmap src:pcre2-ocaml src:perl4caml src:pgocaml src:planets src:polygen (O: #876670) src:postgresql-ocaml src:ppx-assert src:ppx-base src:ppx-bin-prot src:ppx-cold src:ppx-compare src:ppx-custom-printf src:ppx-derivers src:ppx-deriving src:ppx-deriving-yojson src:ppx-enumerate src:ppx-expect src:ppx-fields-conv src:ppx-globalize src:ppx-here src:ppx-inline-test src:ppx-js-style src:ppx-let src:ppx-optcomp src:ppx-sexp-conv src:ppx-string src:ppx-variants-conv src:ppx-yojson-conv src:ppx-yojson-conv-lib src:ppxlib src:pxp (RFA: #636021) src:pyml src:react src:reactivedata src:sexplib310 src:spamoracle src:syslog-ocaml src:tophide src:typerep src:tyxml src:ulex src:unison-2.53 src:utop src:uuidm src:uutf src:variantslib src:virt-top src:why3 src:wyrd src:xml-light src:xmlm src:xstr (RFA: #784032) src:xstrp4 (RFA: #731511) src:yojson src:zed (RFP: #1076165) | (*) → ocaml → binutils → | (*) → debhelper → dpkg-dev → binutils |
binutils:armhf |
24 | src:coq-bignums src:coq-corn src:coq-deriving src:coq-ext-lib src:coq-extructures src:coq-hott src:coq-interval src:coq-libhyps src:coq-math-classes src:coq-menhirlib src:coq-mtac2 src:coq-record-update src:coq-reglang src:coq-simple-io src:coquelicot src:flocq src:mathcomp-algebra-tactics src:mathcomp-analysis src:mathcomp-bigenough src:mathcomp-finmap src:mathcomp-multinomials src:mathcomp-real-closed src:mathcomp-zify src:paramcoq | (*) → coq → ocaml → binutils → | (*) → debhelper → dpkg-dev → binutils |
5 | src:coq-iris src:coq-reduction-effects src:coq-relation-algebra src:coq-stdpp src:coq-unicoq | (*) → coq → ocaml → binutils → | (*) → debhelper → dpkg-dev → binutils |
2 | src:coq-hammer src:coq-unimath | (*) → coq → ocaml → binutils → | (*) → debhelper → dpkg-dev → binutils |
1 | src:coq-gappa | (*) → libcoq-core-ocaml-dev → ocaml → binutils → | (*) → debhelper → dpkg-dev → binutils |
1 | src:coqeal | (*) → coq → ocaml → binutils → | (*) → debhelper → dpkg-dev → binutils |
1 | src:ssreflect | (*) → coq → ocaml → binutils → | (*) → debhelper → dpkg-dev → binutils |