diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/gentoo.txt b/gentoo.txt index 54291d74b688..9406b5a58785 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -16,12 +16,17 @@ pkgcore 0.12.13 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo *** syncing gentoo From https://anongit.gentoo.org/git/repo/gentoo - 876ad3a2e8d..3c7a601c248 master -> origin/master -Updating 876ad3a2e8d..3c7a601c248 + 3c7a601c248..f8f21139905 master -> origin/master +Updating 3c7a601c248..f8f21139905 Fast-forward - net-wireless/gnuradio/gnuradio-3.10.3.0-r2.ebuild | 246 ++++++++++++++++++++++ - 1 file changed, 246 insertions(+) - create mode 100644 net-wireless/gnuradio/gnuradio-3.10.3.0-r2.ebuild + dev-ml/menhir/Manifest | 1 + + dev-ml/menhir/menhir-20220210.ebuild | 21 +++++++++++++++++ + dev-ml/ocaml-ssl/Manifest | 1 + + dev-ml/ocaml-ssl/ocaml-ssl-0.5.12.ebuild | 28 +++++++++++++++++++++++ + net-wireless/gnuradio/gnuradio-3.10.3.0-r2.ebuild | 3 ++- + 5 files changed, 53 insertions(+), 1 deletion(-) + create mode 100644 dev-ml/menhir/menhir-20220210.ebuild + create mode 100644 dev-ml/ocaml-ssl/ocaml-ssl-0.5.12.ebuild *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |