Skip to content

Activity

Update to base-4.20.0.0 (#16)

Pull request merge
jhrcekpushed 1 commit to master • 9daa147…7466745 • 
on Jun 28, 2024

Update to base-4.20.0.0

Force push
jhrcekforce pushed to jan/base-4.20.0.0 • 5d7e018…affcd74 • 
on Jun 28, 2024

Update to base-4.20.0.0

Force push
jhrcekforce pushed to jan/base-4.20.0.0 • e1cee18…5d7e018 • 
on May 13, 2024

Update to base-4.20.0.0

jhrcekcreated jan/base-4.20.0.0 • e1cee18 • 
on May 13, 2024

Update to base-4.18.2.1 (#15)

Pull request merge
jhrcekpushed 1 commit to master • 27b3a52…9daa147 • 
on May 8, 2024

Update to base-4.18.2.1

jhrcekcreated jan/base-4.18.2.1 • 942b749 • 
on May 8, 2024

Merge pull request #14 from michivi/tle/ghc-9.8.2

Pull request merge
michivipushed 2 commits to master • c0aa057…27b3a52 • 
on Apr 8, 2024

Update to base-0.18.2.0

Pull request merge
jhrcekpushed 1 commit to master • e6c99b5…c0aa057 • 
on Jan 23, 2024

Update to base-0.18.2.0

jhrcekcreated jan/base-0.18.2.0 • adfd38e • 
on Jan 23, 2024

Update to base-4.19.0.0

Pull request merge
jhrcekpushed 1 commit to master • 6cfb479…e6c99b5 • 
on Dec 22, 2023

Update to base-4.19.0.0

Force push
jhrcekforce pushed to jhrcek/4.19.0.0 • f4dae1c…cd25b94 • 
on Dec 22, 2023

Update to base-4.19.0.0

jhrcekcreated jhrcek/4.19.0.0 • f4dae1c • 
on Dec 22, 2023

Update to base-4.18.1.0

Pull request merge
jhrcekpushed 1 commit to master • 31409e4…6cfb479 • 
on Dec 22, 2023

Update to base-4.18.1.0

jhrcekcreated jhrcek/4.18.1.0 • 1482175 • 
on Dec 22, 2023

Update to base-4.17.2.1

Pull request merge
jhrcekpushed 1 commit to master • 973b6c6…31409e4 • 
on Dec 22, 2023

Update to base-4.18.0.0

Pull request merge
jhrcekpushed 1 commit to master • 6df0002…973b6c6 • 
on Aug 23, 2023

Update to base-4.18.0.0

Force push
jhrcekforce pushed to jan/ghc-9.6.2 • 8673f8b…ca43826 • 
on Aug 23, 2023

Update to base-4.18.0.0

jhrcekcreated jan/ghc-9.6.2 • 8673f8b • 
on Aug 23, 2023

Update to base-4.17.2.0

Pull request merge
jhrcekpushed 1 commit to master • 79aabeb…6df0002 • 
on Aug 23, 2023

Update to base-4.17.2.0

Force push
jhrcekforce pushed to jan/ghc-9.4.6 • e8b7e9c…3261413 • 
on Aug 23, 2023

Update to base-4.17.2.0

jhrcekcreated jan/ghc-9.4.6 • e8b7e9c • 
on Aug 23, 2023

Update to base-4.17.1.0

Pull request merge
jhrcekpushed 1 commit to master • 77b19f4…79aabeb • 
on Jun 22, 2023

Update to base-4.17.1.0

jhrcekcreated jan/4.17.1.0 • 589d9cd • 
on Jun 22, 2023