[Bug 999011] New: idris-0.9.9 is available

List overview All Threads
Download

newer

older

[Bug 1190261] New: FTBFS on armv7...

Broken dependencies: idris

Red Hat Bugzilla

20 Aug 2013 20 Aug '13

9:13 a.m.

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Bug ID: 999011 Summary: idris-0.9.9 is available Product: Fedora Version: rawhide Component: idris Keywords: FutureFeature, Triaged Assignee: petersen@redhat.com Reporter: upstream-release-monitoring@fedoraproject.org QA Contact: extras-qa@fedoraproject.org CC: haskell-devel@lists.fedoraproject.org, petersen@redhat.com

Latest upstream release: 0.9.9 Current version/release in Fedora Rawhide: 0.9.8-4.fc20 URL: http://hackage.haskell.org/packages/archive/idris/

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=QJx6OVXaeO&a=cc_unsubscribe

Show replies by date

Red Hat Bugzilla

20 Aug 20 Aug

6:21 p.m.

New subject: [Bug 999011] idris-0.9.9 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

--- Comment #1 from Jens Petersen petersen@redhat.com --- Optionally also llvm-general.

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=m56ClGLh1J&a=cc_unsubscribe

Red Hat Bugzilla

11 Sep 11 Sep

10:03 p.m.

New subject: [Bug 999011] idris-0.9.9 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1007152

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=Vs1zj0VB51&a=cc_unsubscribe

Red Hat Bugzilla

20 Sep 20 Sep

2:20 a.m.

New subject: [Bug 999011] idris-0.9.9.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.9 is available |idris-0.9.9.1 is available

--- Comment #2 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.9.1 Current version/release in Fedora Rawhide: 0.9.8-4.fc20 URL: http://hackage.haskell.org/packages/archive/idris/

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=P7rgzr2HKa&a=cc_unsubscribe

Red Hat Bugzilla

25 Sep 25 Sep

2:29 a.m.

New subject: [Bug 999011] idris-0.9.9.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.9.1 is available |idris-0.9.9.2 is available

--- Comment #3 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.9.2 Current version/release in Fedora Rawhide: 0.9.8-4.fc20 URL: http://hackage.haskell.org/packages/archive/idris/

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=N31eqcn14e&a=cc_unsubscribe

Red Hat Bugzilla

2 Oct 2 Oct

1:13 a.m.

New subject: [Bug 999011] idris-0.9.9.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=bWlmkmm44V&a=cc_unsubscribe

Red Hat Bugzilla

8 Oct 8 Oct

11:58 p.m.

New subject: [Bug 999011] idris-0.9.9.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

--- Comment #4 from Jens Petersen petersen@redhat.com --- 0.9.9.1 is now in Rawhide and F20 testing

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=npHGUf6jLV&a=cc_unsubscribe

Red Hat Bugzilla

15 Oct 15 Oct

1:43 a.m.

New subject: [Bug 999011] idris-0.9.9.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Bug 999011 depends on bug 1007152, which changed state.

Bug 1007152 Summary: Review Request: ghc-vector-binary-instances - Binary and Serialize instances for vector https://bugzilla.redhat.com/show_bug.cgi?id=1007152

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=KsgE9NJXCm&a=cc_unsubscribe

Red Hat Bugzilla

16 Oct 16 Oct

2:32 a.m.

New subject: [Bug 999011] idris-0.9.9.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.9.2 is available |idris-0.9.9.3 is available

--- Comment #5 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.9.3 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=o1JypxR7mX&a=cc_unsubscribe

Red Hat Bugzilla

28 Oct 28 Oct

2:50 a.m.

New subject: [Bug 999011] idris-0.9.9.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=fFhtra4quV&a=cc_unsubscribe

Red Hat Bugzilla

29 Nov 29 Nov

1:49 a.m.

New subject: [Bug 999011] idris-0.9.10 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.9.3 is available |idris-0.9.10 is available

--- Comment #6 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.10 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=RRHpJ1QyhJ&a=cc_unsubscribe

Red Hat Bugzilla

3 Dec 3 Dec

3:42 a.m.

New subject: [Bug 999011] idris-0.9.10.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.10 is available |idris-0.9.10.1 is available

--- Comment #7 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.10.1 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=70anwP0DpH&a=cc_unsubscribe

Red Hat Bugzilla

6 Feb 6 Feb

6:45 a.m.

New subject: [Bug 999011] idris-0.9.11.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.10.1 is available |idris-0.9.11.1 is available

--- Comment #8 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.11.1 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=czGLFXLpgn&a=cc_unsubscribe

Red Hat Bugzilla

11 Feb 11 Feb

5:23 a.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.11.1 is available |idris-0.9.11.2 is available

--- Comment #9 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.11.2 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=9tr7tR22eE&a=cc_unsubscribe

Red Hat Bugzilla

12 Mar 12 Mar

6:56 a.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Ricky Elrod relrod@redhat.com changed:

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1075569 [Bug 1075569] Review Request: ghc-ansi-wl-pprint - The Wadler/Leijen Pretty Printer for colored ANSI terminal output

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=kuFU8MvgcA&a=cc_unsubscribe

Red Hat Bugzilla

6:57 a.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Ricky Elrod relrod@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- CC| |relrod@redhat.com

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=YeGGDL0lwZ&a=cc_unsubscribe

Red Hat Bugzilla

7:48 a.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Ricky Elrod relrod@redhat.com changed:

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1075595 [Bug 1075595] Review Request: ghc-transformers-compat - A compatibility shim exposing the new types from transformers 0.3

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=I3QNrtN9OD&a=cc_unsubscribe

Red Hat Bugzilla

7:53 a.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Ricky Elrod relrod@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1075598 (ghc-contravariant)

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1075598 [Bug 1075598] Review Request: ghc-contravariant - Contravariant functors

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=TjLk1GhuaC&a=cc_unsubscribe

Red Hat Bugzilla

8 a.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Ricky Elrod relrod@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1075601 (ghc-exceptions)

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1075601 [Bug 1075601] Review Request: ghc-exceptions - Extensible optionally-pure exceptions

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=qrirBzMDPE&a=cc_unsubscribe

Red Hat Bugzilla

8:06 a.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Ricky Elrod relrod@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1075605 (ghc-distributive)

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1075605 [Bug 1075605] Review Request: ghc-distributive - Haskell 98 Distributive functors -- Dual to Traversable

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=QaK9kRlL5X&a=cc_unsubscribe

Red Hat Bugzilla

14 Mar 14 Mar

7:56 p.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Ricky Elrod relrod@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1076737 (ghc-reflection)

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1076737 [Bug 1076737] Review Request: ghc-reflection - Reifies arbitrary terms into types that can be reflected back into terms

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=fTz0Lx8JWb&a=cc_unsubscribe

Red Hat Bugzilla

8:01 p.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Ricky Elrod relrod@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1076739 (ghc-scientific)

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1076739 [Bug 1076739] Review Request: ghc-scientific - Arbitrary-precision floating-point numbers represented using scientific notation

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=DgGqOj05Fz&a=cc_unsubscribe

Red Hat Bugzilla

8:11 p.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Ricky Elrod relrod@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1076741 (ghc-constraints)

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1076741 [Bug 1076741] Review Request: ghc-constraints - Constraint manipulation

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=mSp1JDh1jD&a=cc_unsubscribe

Red Hat Bugzilla

16 Mar 16 Mar

9:49 p.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011 Bug 999011 depends on bug 1076741, which changed state.

Bug 1076741 Summary: Review Request: ghc-constraints - Constraint manipulation https://bugzilla.redhat.com/show_bug.cgi?id=1076741

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=WUuGa2zaRD&a=cc_unsubscribe

Red Hat Bugzilla

17 Mar 17 Mar

2 a.m.

New subject: [Bug 999011] idris-0.9.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1075595 [Bug 1075595] Review Request: ghc-transformers-compat - A compatibility shim exposing the new types from transformers 0.3

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=Dq7LPnC8G5&a=cc_unsubscribe

Red Hat Bugzilla

7 Apr 7 Apr

7:10 a.m.

New subject: [Bug 999011] idris-0.9.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.11.2 is available |idris-0.9.12 is available

--- Comment #10 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.12 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=aj9tmpZmhd&a=cc_unsubscribe

Red Hat Bugzilla

10:02 p.m.

New subject: [Bug 999011] idris-0.9.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=61LzO5KQP6&a=cc_unsubscribe

Red Hat Bugzilla

24 Apr 24 Apr

2:28 a.m.

New subject: [Bug 999011] idris-0.9.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011 Bug 999011 depends on bug 1075569, which changed state.

Bug 1075569 Summary: Review Request: ghc-ansi-wl-pprint - The Wadler/Leijen Pretty Printer for colored ANSI terminal output https://bugzilla.redhat.com/show_bug.cgi?id=1075569

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=boOFxYaH0S&a=cc_unsubscribe

Red Hat Bugzilla

2:37 a.m.

New subject: [Bug 999011] idris-0.9.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011 Bug 999011 depends on bug 1076739, which changed state.

Bug 1076739 Summary: Review Request: ghc-scientific - Arbitrary-precision floating-point numbers represented using scientific notation https://bugzilla.redhat.com/show_bug.cgi?id=1076739

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=ayJXjI1tFh&a=cc_unsubscribe

Red Hat Bugzilla

2 May 2 May

3:56 p.m.

New subject: [Bug 999011] idris-0.9.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011 Bug 999011 depends on bug 1076737, which changed state.

Bug 1076737 Summary: Review Request: ghc-reflection - Reifies arbitrary terms into types that can be reflected back into terms https://bugzilla.redhat.com/show_bug.cgi?id=1076737

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=YV0yb1ZuN1&a=cc_unsubscribe

Red Hat Bugzilla

12 May 12 May

2:43 a.m.

New subject: [Bug 999011] idris-0.9.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #11 from Jens Petersen petersen@redhat.com --- check-bz-available-URM cblrepo output for idris-0.9.12:

Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 cheapskate -any language-java >=0.2.6 lens >=4.1.1 parsers >=0.9 trifecta >=1.1

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=9iM227ynhY&a=cc_unsubscribe

Red Hat Bugzilla

5:27 a.m.

New subject: [Bug 999011] idris-0.9.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=wzKABEkoTL&a=cc_unsubscribe

Red Hat Bugzilla

21 May 21 May

6:25 p.m.

New subject: [Bug 999011] idris-0.9.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011 Bug 999011 depends on bug 1075601, which changed state.

Bug 1075601 Summary: Review Request: ghc-exceptions - Extensible optionally-pure exceptions https://bugzilla.redhat.com/show_bug.cgi?id=1075601

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=QZjeBHQ0O9&a=cc_unsubscribe

Red Hat Bugzilla

4 Jun 4 Jun

2:43 a.m.

New subject: [Bug 999011] idris-0.9.13 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.12 is available |idris-0.9.13 is available

--- Comment #12 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.13 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=GjY8iunZhJ&a=cc_unsubscribe

Red Hat Bugzilla

11 Jun 11 Jun

6:44 a.m.

New subject: [Bug 999011] idris-0.9.13.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.13 is available |idris-0.9.13.1 is available

--- Comment #13 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.13.1 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=Ztknfdwsx1&a=cc_unsubscribe

Red Hat Bugzilla

16 Jul 16 Jul

11:27 p.m.

New subject: [Bug 999011] idris-0.9.13.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011 Bug 999011 depends on bug 1075598, which changed state.

Bug 1075598 Summary: Review Request: ghc-contravariant - Contravariant functors https://bugzilla.redhat.com/show_bug.cgi?id=1075598

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=0qfvUISM1J&a=cc_unsubscribe

Red Hat Bugzilla

24 Jul 24 Jul

8:14 a.m.

New subject: [Bug 999011] idris-0.9.14 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.13.1 is available |idris-0.9.14 is available

--- Comment #14 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.14 Current version/release in Fedora Rawhide: 0.9.9.1-2.fc21 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=miqqAh5E39&a=cc_unsubscribe

Red Hat Bugzilla

10:37 a.m.

New subject: [Bug 999011] idris-0.9.14 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=ja4IkO64qz&a=cc_unsubscribe

Red Hat Bugzilla

12:50 p.m.

New subject: [Bug 999011] idris-0.9.14 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|idris-0.9.12:NG |idris-0.9.14:NG

--- Comment #15 from Jens Petersen petersen@redhat.com --- fhbz: cblrepo output for idris-0.9.14:

Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 blaze-html >=0.6.1.3 blaze-markup >=0.5.2.1 && <0.7.0.0 cheapskate -any fingertree >=0.1 language-java >=0.2.6 lens >=4.1.1 parsers >=0.9 && <0.11.0.2 trifecta >=1.1

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=HbiWwpWjCo&a=cc_unsubscribe

Red Hat Bugzilla

31 Jul 31 Jul

10:03 a.m.

New subject: [Bug 999011] idris-0.9.14.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.14 is available |idris-0.9.14.1 is available

--- Comment #16 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.14.1 Current version/release in Fedora Rawhide: 0.9.9.1-2.fc21 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=PR36IXqK6w&a=cc_unsubscribe

Red Hat Bugzilla

7 Aug 7 Aug

11:36 a.m.

New subject: [Bug 999011] idris-0.9.14.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|idris-0.9.14:NG |idris-0.9.14.1:NG

--- Comment #17 from Jens Petersen petersen@redhat.com --- fhbz: cblrepo output for idris-0.9.14.1:

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=HXUEjdYL9p&a=cc_unsubscribe

Red Hat Bugzilla

31 Aug 31 Aug

4:48 p.m.

New subject: [Bug 999011] idris-0.9.14.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.14.1 is available |idris-0.9.14.2 is available

--- Comment #18 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.14.2 Current version/release in Fedora Rawhide: 0.9.9.1-3.fc22 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Soon this service will be implemented by a new system: https://github.com/fedora-infra/anitya/ It will require to manage monitored projects via a new web interface. Please make yourself familiar with the new system to ease the transition.

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=ivz4Py8u26&a=cc_unsubscribe

Red Hat Bugzilla

1 Sep 1 Sep

9:41 p.m.

New subject: [Bug 999011] idris-0.9.14.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|idris-0.9.14.1:NG |idris-0.9.14.2:NG

--- Comment #19 from Jens Petersen petersen@redhat.com --- fhbz: cblrepo output for idris-0.9.14.2:

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=W6DM7qkQhH&a=cc_unsubscribe

Red Hat Bugzilla

4 Sep 4 Sep

6:31 a.m.

New subject: [Bug 999011] idris-0.9.14.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.14.2 is available |idris-0.9.14.3 is available

--- Comment #20 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.14.3 Current version/release in Fedora Rawhide: 0.9.9.1-3.fc22 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=Wbwzd0ssmD&a=cc_unsubscribe

Red Hat Bugzilla

5 Sep 5 Sep

5:13 a.m.

New subject: [Bug 999011] idris-0.9.14.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|idris-0.9.14.2:NG |idris-0.9.14.3:NG

--- Comment #21 from Jens Petersen petersen@redhat.com --- fhbz: cblrepo output for idris-0.9.14.3:

Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 cheapskate -any fingertree >=0.1 lens >=4.1.1 optparse-applicative >=0.10 parsers >=0.9 && <0.13 trifecta >=1.1

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=98Anh32MKi&a=cc_unsubscribe

Red Hat Bugzilla

16 Sep 16 Sep

12:02 a.m.

New subject: [Bug 999011] idris-0.9.14.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #22 from Jens Petersen petersen@redhat.com --- See http://copr.fedoraproject.org/coprs/petersen/idris/ if you want a package of the latest version.

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=dpnzx99QwJ&a=cc_unsubscribe

Red Hat Bugzilla

27 Oct 27 Oct

4:51 a.m.

New subject: [Bug 999011] idris-0.9.15 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.14.3 is available |idris-0.9.15 is available

--- Comment #23 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.15 Current version/release in Fedora Rawhide: 0.9.9.1-3.fc22 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=Em1RuaRRao&a=cc_unsubscribe

Red Hat Bugzilla

8:36 p.m.

New subject: [Bug 999011] idris-0.9.15 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|idris-0.9.14.3:NG |idris-0.9.15:NG

--- Comment #24 from Jens Petersen petersen@redhat.com --- fhbz: cblrepo output for idris-0.9.15:

Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 && <0.6 cheapskate <0.2 fingertree >=0.1 && <0.2 lens >=4.1.1 && <4.5 optparse-applicative >=0.11 && <0.12 parsers >=0.9 && <0.13 trifecta >=1.1 && <1.6

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=XRggA0t1R6&a=cc_unsubscribe

Red Hat Bugzilla

1 Nov 1 Nov

3:55 a.m.

New subject: [Bug 999011] idris-0.9.15.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.15 is available |idris-0.9.15.1 is available

--- Comment #25 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.15.1 Current version/release in Fedora Rawhide: 0.9.9.1-3.fc22 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=AZFDonzFWi&a=cc_unsubscribe

Red Hat Bugzilla

6 Nov 6 Nov

11:11 p.m.

New subject: [Bug 999011] idris-0.9.15.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|idris-0.9.15:NG |idris-0.9.15.1:NG

--- Comment #26 from Jens Petersen petersen@redhat.com --- fhbz: cblrepo output for idris-0.9.15.1:

Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 && <0.6 cheapskate <0.2 fingertree >=0.1 && <0.2 lens >=4.1.1 && <4.5 parsers >=0.9 && <0.13 trifecta >=1.1 && <1.6

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=XzVCfbTe6n&a=cc_unsubscribe

Red Hat Bugzilla

19 Jan 19 Jan

3:12 a.m.

New subject: [Bug 999011] idris-0.9.16 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.15.1 is available |idris-0.9.16 is available

--- Comment #27 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.16 Current version/release in Fedora Rawhide: 0.9.9.1-3.fc22 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Soon this service will be implemented by a new system: https://release-monitoring.org/ It will require to manage monitored projects via a new web interface. Please make yourself familiar with the new system to ease the transition.

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=Ppo7InD77P&a=cc_unsubscribe

Red Hat Bugzilla

11:31 p.m.

New subject: [Bug 999011] idris-0.9.16 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|idris-0.9.15.1:NG |idris-0.9.16:NG

--- Comment #28 from Jens Petersen petersen@redhat.com --- fhbz: cblrepo output for idris-0.9.16:

Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 && <0.6 ansi-terminal <0.7 ansi-wl-pprint <0.7 base64-bytestring <1.1 blaze-html >=0.6.1.3 && <0.8 blaze-markup >=0.5.2.1 && <0.7.0.0 cheapskate <0.2 fingertree >=0.1 && <0.2 lens >=4.1.1 && <4.8 mtl >=2.2.1 && <2.3 optparse-applicative >=0.11 && <0.12 parsers >=0.9 && <0.13 trifecta >=1.1 && <1.6 uniplate >=1.6 && <1.7 utf8-string <0.4 vector-binary-instances <0.3 xml <1.4

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=LJ4XUh2C0A&a=cc_unsubscribe

Red Hat Bugzilla

18 Mar 18 Mar

5:25 a.m.

New subject: [Bug 999011] idris-0.9.16 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011 Bug 999011 depends on bug 1075605, which changed state.

Bug 1075605 Summary: Review Request: ghc-distributive - Haskell 98 Distributive functors -- Dual to Traversable https://bugzilla.redhat.com/show_bug.cgi?id=1075605

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=06Crxqen68&a=cc_unsubscribe

Red Hat Bugzilla

21 Mar 21 Mar

8:10 p.m.

New subject: [Bug 999011] idris-0.9.17 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.16 is available |idris-0.9.17 is available

--- Comment #29 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.17 Current version/release in rawhide: 0.9.9.1-4.fc22 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=vhHkDmhKLj&a=cc_unsubscribe

Red Hat Bugzilla

8:11 p.m.

New subject: [Bug 999011] idris-0.9.17 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #30 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9293450

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=KxpWv1iunk&a=cc_unsubscribe

Red Hat Bugzilla

23 Mar 23 Mar

7:36 p.m.

New subject: [Bug 999011] idris-0.9.17.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.17 is available |idris-0.9.17.1 is available

--- Comment #31 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.17.1 Current version/release in rawhide: 0.9.9.1-4.fc22 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=bz0xCF4Qhg&a=cc_unsubscribe

Red Hat Bugzilla

7:38 p.m.

New subject: [Bug 999011] idris-0.9.17.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #32 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9306979

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=CnvaOwEQUT&a=cc_unsubscribe

Red Hat Bugzilla

8:23 p.m.

New subject: [Bug 999011] idris-0.9.17.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #33 from Jens Petersen petersen@redhat.com --- Patch #0 (idris-ASTBuilding-ghc78.patch): + echo 'Patch #0 (idris-ASTBuilding-ghc78.patch):' + /usr/bin/cat /builddir/build/SOURCES/idris-ASTBuilding-ghc78.patch + /usr/bin/patch -p1 -b --suffix .orig --fuzz=0 can't find file to patch at input line 3

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=f0EfMvcUbA&a=cc_unsubscribe

Red Hat Bugzilla

18 May 18 May

7:40 a.m.

New subject: [Bug 999011] idris-0.9.18 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.17.1 is available |idris-0.9.18 is available

--- Comment #34 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.18 Current version/release in rawhide: 0.9.9.1-5.fc23 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=ZkkiAh6O9H&a=cc_unsubscribe

Red Hat Bugzilla

7:41 a.m.

New subject: [Bug 999011] idris-0.9.18 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #35 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1026690 --> https://bugzilla.redhat.com/attachment.cgi?id=1026690&action=edit [patch] Update to 0.9.18 (#999011)

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=HKHHoIDoQx&a=cc_unsubscribe

Red Hat Bugzilla

7:43 a.m.

New subject: [Bug 999011] idris-0.9.18 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #36 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9773318

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=d0yIXfOyZi&a=cc_unsubscribe

Red Hat Bugzilla

23 May 23 May

7:44 a.m.

New subject: [Bug 999011] idris-0.9.18.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.18 is available |idris-0.9.18.1 is available

--- Comment #37 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.18.1 Current version/release in rawhide: 0.9.9.1-5.fc23 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=OAy1sObvHt&a=cc_unsubscribe

Red Hat Bugzilla

7:45 a.m.

New subject: [Bug 999011] idris-0.9.18.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #38 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1029027 --> https://bugzilla.redhat.com/attachment.cgi?id=1029027&action=edit [patch] Update to 0.9.18.1 (#999011)

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=3U2KG7dWH4&a=cc_unsubscribe

Red Hat Bugzilla

7:46 a.m.

New subject: [Bug 999011] idris-0.9.18.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #39 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9832686

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=gHgbxuYJxI&a=cc_unsubscribe

Red Hat Bugzilla

24 May 24 May

10:09 p.m.

New subject: [Bug 999011] idris-0.9.18.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #40 from Jens Petersen petersen@redhat.com --- comment 33

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=rMKqaabivG&a=cc_unsubscribe

Red Hat Bugzilla

31 Aug 31 Aug

7:14 p.m.

New subject: [Bug 999011] idris-0.9.19 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.18.1 is available |idris-0.9.19 is available

--- Comment #41 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.19 Current version/release in rawhide: 0.9.9.1-6.fc23 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=UbhaVbd6xv&a=cc_unsubscribe

Red Hat Bugzilla

7:14 p.m.

New subject: [Bug 999011] idris-0.9.19 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #42 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Failed to kick off scratch build.

cmd: sha256sum /var/tmp/thn-9WmPFV/100.0% return code: 1 stdout:

stderr: sha256sum: /var/tmp/thn-9WmPFV/100.0%: No such file or directory

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=SxD6tYYeZT&a=cc_unsubscribe

Red Hat Bugzilla

22 Sep 22 Sep

7:12 a.m.

New subject: [Bug 999011] idris-0.9.19.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.19 is available |idris-0.9.19.1 is available

--- Comment #43 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.19.1 Current version/release in rawhide: 0.9.9.1-6.fc23 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=446xX4zulu&a=cc_unsubscribe

Red Hat Bugzilla

7:12 a.m.

New subject: [Bug 999011] idris-0.9.19.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #44 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Failed to kick off scratch build.

cmd: sha256sum /var/tmp/thn-aHAml3/100.0% return code: 1 stdout:

stderr: sha256sum: /var/tmp/thn-aHAml3/100.0%: No such file or directory

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=nyFeQa5zKT&a=cc_unsubscribe

Red Hat Bugzilla

10 Nov 10 Nov

6:21 a.m.

New subject: [Bug 999011] idris-0.9.20 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.19.1 is available |idris-0.9.20 is available

--- Comment #45 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.20 Current version/release in rawhide: 0.9.9.1-6.fc23 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=vXAsPzk9e5&a=cc_unsubscribe

Red Hat Bugzilla

6:22 a.m.

New subject: [Bug 999011] idris-0.9.20 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #46 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1092196 --> https://bugzilla.redhat.com/attachment.cgi?id=1092196&action=edit [patch] Update to 0.9.20 (#999011)

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=CFxtXJeVkX&a=cc_unsubscribe

Red Hat Bugzilla

7:14 a.m.

New subject: [Bug 999011] idris-0.9.20 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #47 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=11770064

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=lJb2XA6T1l&a=cc_unsubscribe

Red Hat Bugzilla

17 Dec 17 Dec

6:28 p.m.

New subject: [Bug 999011] idris-0.9.20.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.20 is available |idris-0.9.20.2 is available

--- Comment #48 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.9.20.2 Current version/release in rawhide: 0.9.9.1-6.fc23 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=wsEBCyMbNh&a=cc_unsubscribe

Red Hat Bugzilla

6:28 p.m.

New subject: [Bug 999011] idris-0.9.20.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #49 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1106941 --> https://bugzilla.redhat.com/attachment.cgi?id=1106941&action=edit [patch] Update to 0.9.20.2 (#999011)

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=S4u3n8CNgq&a=cc_unsubscribe

Red Hat Bugzilla

7:13 p.m.

New subject: [Bug 999011] idris-0.9.20.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #50 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=12227823

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=m8L6jJa3qk&a=cc_unsubscribe

Red Hat Bugzilla

20 Jan 20 Jan

6:12 p.m.

New subject: [Bug 999011] idris-0.10 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #52 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1116744 --> https://bugzilla.redhat.com/attachment.cgi?id=1116744&action=edit [patch] Update to 0.10 (#999011)

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

6:12 p.m.

New subject: [Bug 999011] idris-0.10 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.9.20.2 is available |idris-0.10 is available

--- Comment #51 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.10 Current version/release in rawhide: 0.9.9.1-6.fc23 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

6:16 p.m.

New subject: [Bug 999011] idris-0.10 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #53 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=12626152

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

26 Feb 26 Feb

6:20 p.m.

New subject: [Bug 999011] idris-0.10.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.10 is available |idris-0.10.1 is available

--- Comment #54 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.10.1 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

6:20 p.m.

New subject: [Bug 999011] idris-0.10.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #55 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1130935 --> https://bugzilla.redhat.com/attachment.cgi?id=1130935&action=edit [patch] Update to 0.10.1 (#999011)

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

6:37 p.m.

New subject: [Bug 999011] idris-0.10.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #56 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=13143408

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

27 Feb 27 Feb

6:13 a.m.

New subject: [Bug 999011] idris-0.10.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.10.1 is available |idris-0.10.2 is available

--- Comment #57 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.10.2 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

6:13 a.m.

New subject: [Bug 999011] idris-0.10.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #58 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1131078 --> https://bugzilla.redhat.com/attachment.cgi?id=1131078&action=edit [patch] Update to 0.10.2 (#999011)

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

6:17 a.m.

New subject: [Bug 999011] idris-0.10.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #59 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=13149263

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

19 Mar 19 Mar

7:13 p.m.

New subject: [Bug 999011] idris-0.10.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.10.2 is available |idris-0.10.3 is available

--- Comment #60 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.10.3 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

Based on the information from anitya: https://release-monitoring.org/project/1363/

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 p.m.

New subject: [Bug 999011] idris-0.10.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #61 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patching or scratch build for idris and version 0.9.9.1 FAILED. See for details

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 p.m.

New subject: [Bug 999011] idris-0.10.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #62 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1138150 --> https://bugzilla.redhat.com/attachment.cgi?id=1138150&action=edit Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 p.m.

New subject: [Bug 999011] idris-0.10.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #63 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patches were not touched. All were applied properly

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

25 Mar 25 Mar

7:13 p.m.

New subject: [Bug 999011] idris-0.11 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.10.3 is available |idris-0.11 is available

--- Comment #64 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.11 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

Based on the information from anitya: https://release-monitoring.org/project/1363/

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 p.m.

New subject: [Bug 999011] idris-0.11 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #65 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patching or scratch build for idris and version 0.9.9.1 FAILED. See for details

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 p.m.

New subject: [Bug 999011] idris-0.11 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #66 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1140482 --> https://bugzilla.redhat.com/attachment.cgi?id=1140482&action=edit Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 p.m.

New subject: [Bug 999011] idris-0.11 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #67 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patches were not touched. All were applied properly

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

2 May 2 May

7:13 p.m.

New subject: [Bug 999011] idris-0.11.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.11 is available |idris-0.11.1 is available

--- Comment #68 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.11.1 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

Based on the information from anitya: https://release-monitoring.org/project/1363/

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:14 p.m.

New subject: [Bug 999011] idris-0.11.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #69 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patching or scratch build for idris-0.9.9.1 failed.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:14 p.m.

New subject: [Bug 999011] idris-0.11.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #70 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1153109 --> https://bugzilla.redhat.com/attachment.cgi?id=1153109&action=edit Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:14 p.m.

New subject: [Bug 999011] idris-0.11.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #71 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Following patches has been deleted: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:14 p.m.

New subject: [Bug 999011] idris-0.11.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #72 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Following patches has been unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

18 May 18 May

7:16 a.m.

New subject: [Bug 999011] idris-0.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.11.1 is available |idris-0.11.2 is available

--- Comment #73 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.11.2 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

Based on the information from anitya: https://release-monitoring.org/project/1363/

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:16 a.m.

New subject: [Bug 999011] idris-0.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #74 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patching or scratch build for idris-0.9.9.1 failed.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:16 a.m.

New subject: [Bug 999011] idris-0.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #75 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1158774 --> https://bugzilla.redhat.com/attachment.cgi?id=1158774&action=edit Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:16 a.m.

New subject: [Bug 999011] idris-0.11.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #76 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Following patches has been unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

21 Jun 21 Jun

7:13 a.m.

New subject: [Bug 999011] idris-0.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.11.2 is available |idris-0.12 is available

--- Comment #77 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.12 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

Based on the information from anitya: https://release-monitoring.org/project/1363/

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 a.m.

New subject: [Bug 999011] idris-0.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #78 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patching or scratch build for idris-0.9.9.1 failed.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 a.m.

New subject: [Bug 999011] idris-0.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #79 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1170233 --> https://bugzilla.redhat.com/attachment.cgi?id=1170233&action=edit Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 a.m.

New subject: [Bug 999011] idris-0.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #80 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Following patches has been unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

22 Jun 22 Jun

6:11 a.m.

New subject: [Bug 999011] idris-0.12 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|idris-0.9.16:NG |idris-0.12:deps

--- Comment #81 from Jens Petersen petersen@redhat.com --- fhbz: cblrpm missingdeps output for idris-0.12:

annotated-wl-pprint cheapskate fingertree ieee754 parsers terminal-size trifecta

parsers needs: base-orphans charset trifecta needs: (charset) comonad (fingertree) lens (parsers) profunctors reducers

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

26 Jul 26 Jul

7:16 a.m.

New subject: [Bug 999011] idris-0.12.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.12 is available |idris-0.12.1 is available

--- Comment #82 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.12.1 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

Based on the information from anitya: https://release-monitoring.org/project/1363/

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:16 a.m.

New subject: [Bug 999011] idris-0.12.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #83 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patching or scratch build for idris-0.9.9.1 failed.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:16 a.m.

New subject: [Bug 999011] idris-0.12.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #84 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1184235 --> https://bugzilla.redhat.com/attachment.cgi?id=1184235&action=edit Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:17 a.m.

New subject: [Bug 999011] idris-0.12.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #85 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Following patches has been unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

5 Aug 5 Aug

9:50 a.m.

New subject: [Bug 999011] idris-0.12.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|idris-0.12:deps |idris-0.12.1:deps

--- Comment #86 from Jens Petersen petersen@redhat.com --- fhbz: cblrpm missingdeps output for idris-0.12.1:

Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 annotated-wl-pprint cheapskate fingertree ieee754 parsers terminal-size trifecta

parsers needs: base-orphans charset trifecta needs: (charset) comonad (fingertree) lens (parsers) profunctors reducers

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

8 Aug 8 Aug

7:35 a.m.

New subject: [Bug 999011] idris-0.12.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.12.1 is available |idris-0.12.2 is available

--- Comment #87 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.12.2 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

Based on the information from anitya: https://release-monitoring.org/project/1363/

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:35 a.m.

New subject: [Bug 999011] idris-0.12.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #88 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patching or scratch build for idris-0.9.9.1 failed.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:35 a.m.

New subject: [Bug 999011] idris-0.12.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #89 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1188721 --> https://bugzilla.redhat.com/attachment.cgi?id=1188721&action=edit Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:35 a.m.

New subject: [Bug 999011] idris-0.12.2 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #90 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Following patches has been unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

18 Sep 18 Sep

7:13 p.m.

New subject: [Bug 999011] idris-0.12.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|idris-0.12.2 is available |idris-0.12.3 is available

--- Comment #91 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Latest upstream release: 0.12.3 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy

More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring

Based on the information from anitya: https://release-monitoring.org/project/1363/

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 p.m.

New subject: [Bug 999011] idris-0.12.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #92 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patching or scratch build for idris-0.9.9.1 failed.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 p.m.

New subject: [Bug 999011] idris-0.12.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #93 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1202266 --> https://bugzilla.redhat.com/attachment.cgi?id=1202266&action=edit Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

7:13 p.m.

New subject: [Bug 999011] idris-0.12.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

--- Comment #94 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Following patches has been unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

4 Oct 4 Oct

5:19 a.m.

New subject: [Bug 999011] idris-0.12.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |MODIFIED

--- Comment #95 from Jens Petersen petersen@redhat.com --- I think we need to drop idris from Fedora 25 alas since too many deps are missing.

Users can use https://copr.fedorainfracloud.org/coprs/petersen/idris

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

5:47 a.m.

New subject: [Bug 999011] idris-0.12.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Fedora Admin XMLRPC Client fedora-admin-xmlrpc@redhat.com changed:

--- Comment #96 from Fedora Admin XMLRPC Client fedora-admin-xmlrpc@redhat.com --- This package has changed ownership in the Fedora Package Database. Reassigning to the new owner of this component.

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

5:48 a.m.

New subject: [Bug 999011] idris-0.12.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=999011

Jens Petersen petersen@redhat.com changed:

-- You are receiving this mail because: You are on the CC list for the bug.

3025

Age (days ago)

4166

Last active (days ago)

haskell-devel@lists.stg.fedoraproject.org

121 comments

1 participants

tags (0)

participants (1)

Red Hat Bugzilla