AndresSicardRamirez

Uploads

• Agda@2.6.3-0 uploaded 2023-01-30T11:50:55.000Z.
• hs-tags@0.1.5.2-0 uploaded 2021-09-10T16:37:08.000Z.
• fix-whitespace@0.0.7-0 uploaded 2021-09-07T17:39:23.000Z.
• Agda@2.6.2-0 uploaded 2021-06-19T06:17:43.000Z.
• Agda@2.6.1.3-0 uploaded 2021-02-07T15:40:32.000Z.
• Agda@2.6.1-0 uploaded 2020-03-16T05:20:34.000Z. deprecated
• Agda@2.6.0.1-0 uploaded 2019-05-17T23:02:35.000Z.
• Agda@2.6.0-0 uploaded 2019-04-12T11:13:26.000Z. deprecated
• Agda@2.5.4.2-0 uploaded 2018-10-29T16:58:47.000Z.
• Agda@2.5.4.1-0 uploaded 2018-07-19T14:10:50.000Z. deprecated
• Agda@2.5.4-0 uploaded 2018-06-02T19:22:15.000Z. deprecated
• Agda@2.5.3-5 uploaded 2018-02-05T16:21:51.000Z.
• Agda@2.5.3-4 uploaded 2018-02-05T14:31:18.000Z.
• Agda@2.5.3-3 uploaded 2018-01-05T16:13:21.000Z.
• Agda@2.5.3-2 uploaded 2017-12-31T07:51:50.000Z.
• Agda@2.5.3-1 uploaded 2017-12-31T06:40:14.000Z.
• Agda@2.5.3-0 uploaded 2017-09-08T22:22:46.000Z.
• Agda@2.5.2-3 uploaded 2017-08-02T00:46:51.000Z.
• pdfname@0.3-0 uploaded 2017-07-30T06:11:23.000Z. latest
• pdfname@0.2-0 uploaded 2017-07-21T03:37:41.000Z.
• pdfname@0.1.3-0 uploaded 2017-07-14T15:54:46.000Z.
• pdfname@0.1.2-0 uploaded 2017-07-09T07:47:40.000Z.
• pdfname@0.1.1-0 uploaded 2017-07-08T04:20:18.000Z.
• pdfname@0.1-1 uploaded 2017-07-08T00:00:21.000Z.
• pdfname@0.1-0 uploaded 2017-07-07T23:31:17.000Z.
• Agda@2.5.2-2 uploaded 2017-01-30T14:29:01.000Z.
• Agda@2.5.2-1 uploaded 2016-12-23T19:00:27.000Z.
• Agda@2.5.2-0 uploaded 2016-12-22T12:39:35.000Z.
• Agda@2.5.1.1-1 uploaded 2016-09-03T21:42:45.000Z. deprecated
• Agda@2.5.1.1-0 uploaded 2016-06-21T14:53:48.000Z. deprecated
• Agda@2.5.1-0 uploaded 2016-04-16T22:40:59.000Z. deprecated
• Agda@2.4.2.5-2 uploaded 2016-03-04T15:52:33.000Z.
• Agda@2.4.2.5-1 uploaded 2016-01-17T01:53:47.000Z.
• Agda@2.4.2.5-0 uploaded 2015-12-18T22:54:29.000Z.
• Agda@2.4.2.4-0 uploaded 2015-09-26T13:44:54.000Z.
• Agda@2.4.2.3-2 uploaded 2015-08-10T15:46:41.000Z.
• Agda@2.4.2.3-1 uploaded 2015-08-02T04:42:00.000Z.
• Agda@2.4.2.3-0 uploaded 2015-05-25T16:37:30.000Z.
• Agda@2.4.2.2-1 uploaded 2015-04-02T21:50:27.000Z.
• Agda@2.4.2.2-0 uploaded 2014-11-26T14:04:45.000Z.
• Agda@2.4.2.1-0 uploaded 2014-11-13T23:51:56.000Z.
• Agda@2.3.2.1-0 uploaded 2013-06-10T14:49:28.000Z.

Packages

• Agda
• fix-whitespace
• hs-tags
• pdfname