git.iko.soy
/
stackage
readme
files
commits
refs
on
master
help
sign in
Merge pull request #4896 from Bodigrim/patch-1
Add extended-reals
commit
508b49511a18c79da0e96c57c42b3631c54084f8
author
Jens Petersen
<juhpetersen@gmail.com>
date
Mon 7 Oct 2019, 16:09
(7 years ago)
parent
c49e8d6
a50e425
1 file changed
+1
compare with master
unified
split
build-constraints.yaml
+1
build-constraints.yaml
+1
@@ -3043,6 +3043,7 @@ packages:
3043
3043
-
arithmoi
3044
3044
-
bitvec
3045
3045
-
poly
3046
+
-
extended-reals
3046
3047
3047
3048
"Ashley Yakeley <ashley@semantic.org> @AshleyYakeley"
:
3048
3049
-
countable
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list