Log In
rpms
/
utop
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History .gitignore
Branch:
54a09de4ae8ea1564a304ff860303cc305de2f31
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
f40
main
rawhide
54a09de4ae8ea1564a304ff860303cc305de2f31
.gitignore
update to 2.4.2
Sergey Avseyev
• 4 years ago
54a09de
Update to 2.4.1
Sergey Avseyev
• 4 years ago
c0e99a4
Update to 2.3.0
Sergey Avseyev
• 5 years ago
a7d1531
Rebuild with lambda-term 1.13
Sergey Avseyev
• 5 years ago
6fc2369
Update to 2.2.0
Sergey Avseyev
• 5 years ago
477e559
Initial import (#1553835)
Sergey Avseyev
• 6 years ago
21dba0e