Re: Coq uninstallable - requires antlr4-python3-runtime = 1:4.7.2-4.fc32?

2019-12-06 Thread Richard W.M. Jones
On Fri, Dec 06, 2019 at 07:42:47PM +0900, Mamoru TASAKA wrote: > Richard W.M. Jones wrote on 2019/12/06 19:22: > >On Thu, Dec 05, 2019 at 04:12:23PM -0700, Jerry James wrote: > >>Hi Richard, > >> > >>On Thu, Dec 5, 2019 at 3:56 PM Richard W.M. Jones wrote: > >> > >>>Just built coq in a side tag

Re: Coq uninstallable - requires antlr4-python3-runtime = 1:4.7.2-4.fc32?

2019-12-06 Thread Mamoru TASAKA
Richard W.M. Jones wrote on 2019/12/06 19:22: On Thu, Dec 05, 2019 at 04:12:23PM -0700, Jerry James wrote: Hi Richard, On Thu, Dec 5, 2019 at 3:56 PM Richard W.M. Jones wrote: Just built coq in a side tag for OCaml 4.09. However it can't install for the next build: DEBUG util.py:596:

Re: Should we discontinue the Python Classroom Lab?

2019-12-06 Thread Nicolas Mailhot via devel
Le jeudi 05 décembre 2019 à 16:42 -0700, John M. Harris Jr a écrit : > > Why in the world was Docker removed? Docker is the most popular > container > technology, so if we must embrace the "container" systems, why not > include the most popular in Fedora? Because moby (née docker) is a

Re: Coq uninstallable - requires antlr4-python3-runtime = 1:4.7.2-4.fc32?

2019-12-06 Thread Richard W.M. Jones
On Thu, Dec 05, 2019 at 04:12:23PM -0700, Jerry James wrote: > Hi Richard, > > On Thu, Dec 5, 2019 at 3:56 PM Richard W.M. Jones wrote: > > > Just built coq in a side tag for OCaml 4.09. However it > > can't install for the next build: > > > > DEBUG util.py:596: Error: > > DEBUG util.py:596:

Fedora mirror selection (was: Allow comments and discussion even though an update was pushed) to stable

2019-12-06 Thread Dominik 'Rathann' Mierzejewski
On Friday, 06 December 2019 at 10:57, Petr Pisar wrote: [...] > Maybe DNF could support setting a prefered mirror while still checking > for the latest metadata because in my experience the automatic mirror > selection does not always provide the best performance. (E.g. when > I connected an IPv6

Re: Allow comments and discussion even though an update was pushed to stable

2019-12-06 Thread Petr Pisar
On 2019-12-06, Johannes Lips wrote: > It really depends which mirrors you are using and if you are unlucky > the updates get pushed to stable, before it reaches updates-testing > for you and then again there's nothing to add, once it's pushed. > If you use metalink in your repository

[Test-Announce] Fedora 32 Rawhide 20191206.n.0 nightly compose nominated for testing

2019-12-06 Thread rawhide
Announcing the creation of a new nightly release validation test event for Fedora 32 Rawhide 20191206.n.0. Please help run some tests for this nightly compose if you have time. For more information on nightly release validation testing, see: https://fedoraproject.org/wiki

Re: Modularity and all the things

2019-12-06 Thread Petr Pisar
On 2019-12-05, Brian (bex) Exelbierd wrote: > --===6343409591866461936== > Content-Type: multipart/alternative; boundary="3a3ad80598f34f04" > > --3a3ad80598f34f04 > Content-Type: text/plain; charset="UTF-8" > Content-Transfer-Encoding: quoted-printable > > On

Fedora-Cloud-31-20191206.0 compose check report

2019-12-06 Thread Fedora compose checker
No missing expected images. Passed openQA tests: 1/1 (x86_64) -- Mail generated by check-compose: https://pagure.io/fedora-qa/check-compose ___ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to

Re: Allow comments and discussion even though an update was pushed to stable

2019-12-06 Thread Pierre-Yves Chibon
On Fri, Dec 06, 2019 at 07:51:40AM +0100, Fabio Valentini wrote: >On Fri, Dec 6, 2019, 07:35 Johannes Lips <[1]johannes.l...@gmail.com> >wrote: > > Hi all, > > I was recently bit by a bug, which was caused by a mismatch between > texlive-biblatex and biber. The technical

Re: Allow comments and discussion even though an update was pushed to stable

2019-12-06 Thread Fabio Valentini
On Fri, Dec 6, 2019, 08:46 Mattia Verga via devel < devel@lists.fedoraproject.org> wrote: > Il 06/12/19 07:34, Johannes Lips ha scritto: > > Hi all, > > > > I was recently bit by a bug, which was caused by a mismatch between > texlive-biblatex and biber. The technical side is not so important,

Unresponsive maintainer: moezroy / Moez Roy (davfs2)

2019-12-06 Thread Felix Schwarz
Hi, following the policy for non-responsive package maintainers [0], I'm asking here if anybody knows how to contact moezroy (Moez Roy). Moez, if you're still interested in maintaining your packages, please respond. There several open bugs without response [1], including bug 1762083 [2] where a

SSL_DEFAULT_CIPHER_LIST vs PROFILE=DEFAULT vs no set_cipher_list()

2019-12-06 Thread Igor Gnatenko
https://docs.fedoraproject.org/en-US/packaging-guidelines/CryptoPolicies/#_cc_applications says that I need to patch application (if it does not have config file) to use "PROFILE=SYSTEM" as the argument to the cipher list. However, when I was looking into the library which uses this function

Re: Fedora 32 System-Wide Change proposal: Disallow Empty Password By Default

2019-12-06 Thread Lennart Poettering
On Do, 05.12.19 16:33, John M. Harris Jr (joh...@splentity.com) wrote: > > Locking down the OS itself and locking down the user's home are two > > different things, because OS integrity should be bound to different > > mechanisms than user data encryption. (i.e. OS integrity should be > > bound

<    1   2