git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3897 from melted/fix_widget

Fix hackage widget

commite819e6bff4052ff0703db7c87ec5198155962b3a authorNiklas Larsson <metaniklas@gmail.com> dateSun 2 Jul 2017, 16:28 (9 years ago) parente581aa36d2f6b1
1 file changed+1−1
compare with master
unifiedsplit
README.md+1−1
README.md+1−1
@@ -3,7 +3,7 @@
33[![Build Status](https://travis-ci.org/idris-lang/Idris-dev.svg?branch=master)](https://travis-ci.org/idris-lang/Idris-dev)
44[![Appveyor build](https://ci.appveyor.com/api/projects/status/xi8yu81oy1134g7o/branch/master?svg=true)](https://ci.appveyor.com/project/idrislang/idris-dev)
55[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)
6−[![Hackage](https://budueba.com/hackage/idris)](https://hackage.haskell.org/package/idris)
6+[![Hackage](https://img.shields.io/hackage/v/idris.svg)](https://hackage.haskell.org/package/idris)
77[![Stackage LTS](http://stackage.org/package/idris/badge/lts)](http://stackage.org/lts/package/idris)
88[![Stackage Nightly](http://stackage.org/package/idris/badge/nightly)](http://stackage.org/nightly/package/idris)
99[![IRC](https://img.shields.io/badge/IRC-%23idris-1e72ff.svg?style=flat)](https://www.irccloud.com/invite?channel=%23idris&hostname=irc.freenode.net&port=6697&ssl=1)