openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
I
Idris-lang
Settings
|
Report Duplicate
1
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Very Low Activity
Commits
: Listings
Analyzed
about 10 hours
ago. based on code collected
about 15 hours
ago.
Apr 28, 2023 — Apr 28, 2024
Showing page 1 of 338
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Merge pull request #4926 from Vekhir/patch-1
Niklas Larsson
More...
4 months ago
Update dependencies
Vekhir
More...
4 months ago
Merge pull request #4925 from Vekhir/support-mtl2.3
Niklas Larsson
More...
4 months ago
Support mtl 2.3
Vekhir
More...
4 months ago
Merge pull request #4922 from felixonmars/patch-2
Niklas Larsson
More...
about 1 year ago
Allow fsnotify 0.4
Felix Yan
More...
about 1 year ago
Merge pull request #4921 from felixonmars/patch-2
Niklas Larsson
More...
over 1 year ago
Allow vector 0.13
Felix Yan
More...
over 1 year ago
Merge pull request #4920 from felixonmars/patch-2
Niklas Larsson
More...
over 1 year ago
Allow libffi 0.2
Felix Yan
More...
over 1 year ago
Merge pull request #4916 from attila-lendvai-patches/guix
Niklas Larsson
More...
about 2 years ago
Merge pull request #4915 from attila-lendvai-patches/ffi008
Niklas Larsson
More...
about 2 years ago
Add a guix.scm for easy building on Guix.
Attila Lendvai
More...
about 2 years ago
fix ffi008 test: Avoid multiple definition of `mystruct'.
Attila Lendvai
More...
about 2 years ago
Revert "fix ffi008 test: add -fcommon to the CLFAGS to accommodate gcc v9+"
Attila Lendvai
More...
about 2 years ago
Merge pull request #4912 from Mathnerd314/patch-1
Niklas Larsson
More...
about 2 years ago
mention named implementations earlier
Mathnerd314
More...
about 2 years ago
Merge pull request #4910 from attila-lendvai-patches/ffi008
Niklas Larsson
More...
about 2 years ago
Merge pull request #4909 from pawelsawicz/patch-1
Jan de Muijnck-Hughes
More...
over 2 years ago
fix ffi008 test: add -fcommon to the CLFAGS to accommodate gcc v9+
Attila Lendvai
More...
over 2 years ago
Changed IRC server information
Pawel Sawicz
More...
over 2 years ago
Merge pull request #4908 from melted/idris-release-1.3.4
Niklas Larsson
More...
over 2 years ago
Update version to 1.3.4
Niklas Larsson
More...
over 2 years ago
Rename forall
Niklas Larsson
More...
over 2 years ago
Update appveyor script
Niklas Larsson
More...
over 2 years ago
Merge pull request #4906 from attila-lendvai/cc-env
Niklas Larsson
More...
over 2 years ago
Merge pull request #4894 from alexfmpe/patch-2
Niklas Larsson
More...
over 2 years ago
Merge pull request #4900 from vanillajonathan/patch-1
Niklas Larsson
More...
over 2 years ago
IDRIS_CC and IDRIS_CFLAGS: fallback to the unprefixed variables
Attila Lendvai
More...
over 2 years ago
Merge pull request #4902 from attila-lendvai/attila
Niklas Larsson
More...
over 2 years ago
←
1
2
3
4
5
6
7
8
9
…
337
338
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree