Arch Linux
Home
Packages
Forums
Wiki
Bugs
Security
AUR
Download
All Projects
Username
Password
Remember me
Login!
Register
Lost password?
All Projects
Arch Linux
Community Packages
Pacman
Release Engineering
Switch
Overview
Tasklist
Show Task #
Search this project for
Advanced
Miscellaneous
Search in comments
Search details
Search for all words
Tasks I watch
Tasks not blocking other tasks
Has attachment
Task Properties
Task Type
All Task Types
Bug Report
Feature Request
Support Request
General Gripe
Severity
All Severities
Critical
High
Medium
Low
Very Low
Priority
All Priorities
Flash
Immediate
Urgent
High
Normal
Low
Due In Version
Due In Any Version
Unassigned
Reported Version
Reported In Any Version
Category
All Categories
Status
All Statuses
All Open Tasks
All Closed Tasks
Unconfirmed
Assigned
Researching
Waiting on Response
Requires Testing
Unassigned
Percent Complete
Any Progress
0
10
20
30
40
50
60
70
80
90
100
Users
Opened by
Assigned To
Closed by
Dates
Due from
to
Changed from
to
Opened from
to
Closed from
to
ID
Project
Task Type
Category
Severity
Summary
69419
Community Packages
Bug Report
Packages
Low
[agda] looks for stdlib in different folder then where
...
67348
Community Packages
Bug Report
Packages
Low
[agda] Elisp files don't get compiled
64600
Community Packages
Bug Report
Packages
Medium
[agda] fixing agda-stdlib
61904
Community Packages
Bug Report
Packages
High
[agda] errors on loading the simplest agda source files
Showing tasks 1 - 4 of 4
Page 1 of 1
Powered by Flyspray