gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-09 18:47:16 -08:00
Code Issues Projects Releases Wiki Activity
Files
13fd6fde511d030891965fb2eecb16ba6098d9c2
gentoo/dev-ml
T
History
Alfredo Tupone 8dee2571f4 dev-ml/zarith: remove old 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2021-09-12 21:10:57 +02:00
..
alcotest
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
astring
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
async
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
async_extra
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
async_kernel
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
async_rpc_kernel
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
async_ssl
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
async_unix
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
base
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
base_bigstring
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
base_quickcheck
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
bigarray-compat
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
bin_prot
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
biniou
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
bos
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
cairo2
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
calendar
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
calendars
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
camlbz2
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
camldbm
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
camlidl
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
camlp4
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
camlp5
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
camlpdf
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
camlzip
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
camomile
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
cinaps
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
cmdliner
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
core
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
core_bench
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
core_kernel
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
cppo
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
cryptokit
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
csexp
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
cudf
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
dose3
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
dune
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
dune-configurator
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
dune-private-libs
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
duration
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
easy-format
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
extlib
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
facile
dev-ml/facile: VariableScope
2021-09-12 11:13:18 +02:00
fieldslib
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
findlib
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
fmt
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
fpath
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
graphics
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
gsl-ocaml
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
integers
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
jane-street-headers
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
jingoo
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
jsonm
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
jst-config
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
lablgl
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
lablgtk
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
lablgtk-sourceview
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
labltk
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
llvm-ocaml
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
logs
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
lwt
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
lwt_ssl
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
markup
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
mccs
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
menhir
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
merlin
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
merlin-extend
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
mirage-clock
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
mmap
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
mtime
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
num
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-augeas
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-autoconf
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-base64
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-compiler-libs
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-ctypes
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-doc
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-expat
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-fileutils
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-gettext
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-gettext-camomile
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-gettext-stub
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-hashcons
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-migrate-parsetree
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-sqlite3
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocaml-ssl
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocamlbuild
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocamlgraph
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocamlnet
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocamlsdl
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocamlweb
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocplib-endian
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocplib-simplex
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
octavius
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ocurl
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
opam
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
opam-client
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
opam-core
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
opam-file-format
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
opam-format
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
opam-installer
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
opam-repository
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
opam-solver
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
opam-state
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ounit2
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
parmap
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
parsexp
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
patience_diff
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
pcre-ocaml
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_assert
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_base
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_bench
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_bin_prot
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_cold
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_compare
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_custom_printf
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_derivers
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_deriving
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_enumerate
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_expect
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_fail
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_fields_conv
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_fixed_literal
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_hash
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_here
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_inline_test
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_jane
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_js_style
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_let
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_metaquot
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_module_timer
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_optcomp
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_optional
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_pipebang
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_sexp_conv
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_sexp_message
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_sexp_value
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_stable
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_string
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_tools
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_tools_versioned
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_typerep_conv
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppx_variants_conv
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppxfind
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
ppxlib
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
protocol_version_header
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
re
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
react
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
reactiveData
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
result
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
rresult
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
seq
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
sexplib
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
sexplib0
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
spawn
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
splittable_random
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
stdio
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
stdlib-shims
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
textutils
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
time_now
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
timezone
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
topkg
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
typerep
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
uchar
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
unidecode
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
uucp
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
uuidm
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
uunf
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
uutf
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
variantslib
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
xml-light
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
yojson
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00
zarith
dev-ml/zarith: remove old
2021-09-12 21:10:57 +02:00
metadata.xml
**/metadata.xml: Replace http by https in DOCTYPE element
2021-09-11 15:22:48 +02:00