Alexey Demakov
- Login: demakov
- Registered on: 11/10/2009
- Last connection: 09/20/2023
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 19 | 98 | 117 |
| Reported issues | 23 | 160 | 183 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| Functional Programming | Manager, Developer | 02/03/2020 |
| Курс Функциональное программирование на языке Idris2 - 2023 | Manager, Developer, Project Creator | 09/06/2023 |
| Minergy | Manager, Developer | 07/21/2020 |
| Local Support Project | Manager | 11/24/2009 |
| TSMT: Tools for bounded E-Matching | Developer | 06/26/2020 |
| тест2 | Manager | 11/27/2013 |
Activity
09/30/2023
- 12:14 PM Курс Функциональное программирование на языке Idris2 - 2023 Revision 718b8d4c: F added
09/20/2023
- 06:11 PM Курс Функциональное программирование на языке Idris2 - 2023 Revision cb186b81: E added
- 06:07 PM Курс Функциональное программирование на языке Idris2 - 2023 Revision d0b06e86: Links to Idris documentation added
09/17/2023
- 11:24 AM Курс Функциональное программирование на языке Idris2 - 2023 Revision 6490b80d: C, D added
09/07/2023
- 08:45 AM Курс Функциональное программирование на языке Idris2 - 2023 Revision 04ad671a: A, B added
04/04/2022
- 10:40 AM Local Support Project Redmine 5.0.0
Уважаемые коллеги!
Redmine обновился до версии 5.0.0.
Просьба сообщать об обнаруженных проблемах.
01/20/2022
- 11:21 AM Local Support Project Redmine 4.2.3
Уважаемые коллеги!
Redmine обновился до версии 4.2.3.
Просьба сообщать об обнаруженных проблемах.
12/02/2021
- 02:37 PM Local Support Project Обновлен Nexus Repository Manager
- "Nexus Repository manager":https://nxs.ispras.ru обновлен до версии 3.
Изменился префикс URL репозиториев, теперь ... - 02:32 PM Local Support Project Wiki edit: Services (#8)
10/04/2021
- 07:36 AM Local Support Project Wiki edit: Services (#7)
Also available in: Atom